home *** CD-ROM | disk | FTP | other *** search
open in: 
MacOS 8.1
|
Win98
|
DOS
view JSON data
|
view as text
This file was processed as: Tape Archive
(archive/tar).
You can browse this item here: HOPE
| Confidence | Program | Detection | Match Type | Support
|
|---|
| 100%
| dexvert
| Tape Archive (archive/tar)
| magic
| Supported |
| 100%
| file
| tar archive
| default
| |
| 99%
| file
| tar archive (V7), file _files/nameslist, mode 600, uid 0, gid 0, size 735, seconds 5030255267
| default
| |
| 98%
| file
| data
| default
| |
| 100%
| TrID
| TAR - Tape ARchive (file)
| default
| |
| 100%
| lsar
| Tar
| default
| |
| 100%
| gt2
| Kopftext: '_files/nameslist'
| default (weak)
| |
| 100%
| disktype
| Pre-POSIX tar archive
| default
|
|
hex view+--------+-------------------------+-------------------------+--------+--------+
|00000000| 5f 66 69 6c 65 73 2f 6e | 61 6d 65 73 6c 69 73 74 |_files/n|ameslist|
|00000010| 00 00 00 00 00 00 00 00 | 00 00 00 00 00 00 00 00 |........|........|
|00000020| 00 00 00 00 00 00 00 00 | 00 00 00 00 00 00 00 00 |........|........|
|00000030| 00 00 00 00 00 00 00 00 | 00 00 00 00 00 00 00 00 |........|........|
|00000040| 00 00 00 00 00 00 00 00 | 00 00 00 00 00 00 00 00 |........|........|
|00000050| 00 00 00 00 00 00 00 00 | 00 00 00 00 00 00 00 00 |........|........|
|00000060| 00 00 00 00 20 20 20 36 | 30 30 00 00 20 20 20 20 |.... 6|00.. |
|00000070| 20 30 00 00 20 20 20 20 | 20 30 00 00 20 20 20 20 | 0.. | 0.. |
|00000080| 20 20 20 20 37 33 35 00 | 20 35 30 33 30 32 35 35 | 735.| 5030255|
|00000090| 32 36 37 00 20 20 37 36 | 31 31 00 20 30 00 00 00 |267. 76|11. 0...|
|000000a0| 00 00 00 00 00 00 00 00 | 00 00 00 00 00 00 00 00 |........|........|
|000000b0| 00 00 00 00 00 00 00 00 | 00 00 00 00 00 00 00 00 |........|........|
|000000c0| 00 00 00 00 00 00 00 00 | 00 00 00 00 00 00 00 00 |........|........|
|000000d0| 00 00 00 00 00 00 00 00 | 00 00 00 00 00 00 00 00 |........|........|
|000000e0| 00 00 00 00 00 00 00 00 | 00 00 00 00 00 00 00 00 |........|........|
|000000f0| 00 00 00 00 00 00 00 00 | 00 00 00 00 00 00 00 00 |........|........|
|00000100| 00 00 00 00 00 00 00 00 | 00 00 00 00 00 00 00 00 |........|........|
|00000110| 00 00 00 00 00 00 00 00 | 00 00 00 00 00 00 00 00 |........|........|
|00000120| 00 00 00 00 00 00 00 00 | 00 00 00 00 00 00 00 00 |........|........|
|00000130| 00 00 00 00 00 00 00 00 | 00 20 20 20 20 20 20 20 |........|. |
|00000140| 20 20 20 30 20 00 00 00 | 00 00 00 00 00 00 00 00 | 0 ...|........|
|00000150| 00 00 00 00 00 00 00 00 | 00 00 00 00 00 00 00 00 |........|........|
|00000160| 00 00 00 00 00 00 00 00 | 00 00 00 00 00 00 00 00 |........|........|
|00000170| 00 00 00 00 00 00 00 00 | 00 00 00 00 00 00 00 00 |........|........|
|00000180| 00 00 00 00 00 00 00 00 | 00 00 00 00 00 00 00 00 |........|........|
|00000190| 00 00 00 00 00 00 00 00 | 00 00 00 00 00 00 00 00 |........|........|
|000001a0| 00 00 00 00 00 00 00 00 | 00 00 00 00 00 00 00 00 |........|........|
|000001b0| 00 00 00 00 00 00 00 00 | 00 00 00 00 00 00 00 00 |........|........|
|000001c0| 00 00 00 00 00 00 00 00 | 00 00 00 00 00 00 00 00 |........|........|
|000001d0| 00 00 00 00 00 00 00 00 | 00 00 00 00 00 00 00 00 |........|........|
|000001e0| 00 00 00 00 00 00 00 00 | 00 00 00 00 00 00 00 00 |........|........|
|000001f0| 00 00 00 00 00 00 00 00 | 00 00 00 00 00 00 00 00 |........|........|
|00000200| 72 65 6e 61 6d 65 20 20 | 24 2e 5f 66 69 6c 65 73 |rename |$._files|
|00000210| 20 24 2e 66 69 6c 65 73 | 20 0a 72 65 6e 61 6d 65 | $.files| .rename|
|00000220| 20 20 24 2e 66 69 6c 65 | 73 2e 5f 50 44 72 65 61 | $.file|s._PDrea|
|00000230| 6d 44 6f 63 20 24 2e 66 | 69 6c 65 73 2e 50 44 72 |mDoc $.f|iles.PDr|
|00000240| 65 61 6d 44 6f 63 73 20 | 0a 72 65 6e 61 6d 65 20 |eamDocs |.rename |
|00000250| 20 24 2e 66 69 6c 65 73 | 2e 5f 44 6f 63 75 6d 65 | $.files|._Docume|
|00000260| 6e 74 73 20 24 2e 66 69 | 6c 65 73 2e 44 6f 63 75 |nts $.fi|les.Docu|
|00000270| 6d 65 6e 74 73 20 0a 72 | 65 6e 61 6d 65 20 20 24 |ments .r|ename $|
|00000280| 2e 66 69 6c 65 73 2e 5f | 48 6f 70 65 20 24 2e 66 |.files._|Hope $.f|
|00000290| 69 6c 65 73 2e 21 48 6f | 70 65 20 0a 72 65 6e 61 |iles.!Ho|pe .rena|
|000002a0| 6d 65 20 20 24 2e 66 69 | 6c 65 73 2e 21 48 6f 70 |me $.fi|les.!Hop|
|000002b0| 65 2e 5f 50 72 6f 67 72 | 61 6d 73 20 24 2e 66 69 |e._Progr|ams $.fi|
|000002c0| 6c 65 73 2e 21 48 6f 70 | 65 2e 50 72 6f 67 72 61 |les.!Hop|e.Progra|
|000002d0| 6d 73 20 0a 72 65 6e 61 | 6d 65 20 20 24 2e 66 69 |ms .rena|me $.fi|
|000002e0| 6c 65 73 2e 21 48 6f 70 | 65 2e 5f 52 75 6e 49 6d |les.!Hop|e._RunIm|
|000002f0| 61 67 65 20 24 2e 66 69 | 6c 65 73 2e 21 48 6f 70 |age $.fi|les.!Hop|
|00000300| 65 2e 21 52 75 6e 49 6d | 61 67 65 20 0a 72 65 6e |e.!RunIm|age .ren|
|00000310| 61 6d 65 20 20 24 2e 66 | 69 6c 65 73 2e 21 48 6f |ame $.f|iles.!Ho|
|00000320| 70 65 2e 5f 52 75 6e 20 | 24 2e 66 69 6c 65 73 2e |pe._Run |$.files.|
|00000330| 21 48 6f 70 65 2e 21 52 | 75 6e 20 0a 72 65 6e 61 |!Hope.!R|un .rena|
|00000340| 6d 65 20 20 24 2e 66 69 | 6c 65 73 2e 21 48 6f 70 |me $.fi|les.!Hop|
|00000350| 65 2e 5f 48 6f 70 65 45 | 64 69 74 20 24 2e 66 69 |e._HopeE|dit $.fi|
|00000360| 6c 65 73 2e 21 48 6f 70 | 65 2e 21 48 6f 70 65 45 |les.!Hop|e.!HopeE|
|00000370| 64 69 74 20 0a 72 65 6e | 61 6d 65 20 20 24 2e 66 |dit .ren|ame $.f|
|00000380| 69 6c 65 73 2e 21 48 6f | 70 65 2e 5f 48 65 6c 70 |iles.!Ho|pe._Help|
|00000390| 20 24 2e 66 69 6c 65 73 | 2e 21 48 6f 70 65 2e 21 | $.files|.!Hope.!|
|000003a0| 48 65 6c 70 20 0a 72 65 | 6e 61 6d 65 20 20 24 2e |Help .re|name $.|
|000003b0| 66 69 6c 65 73 2e 21 48 | 6f 70 65 2e 5f 42 6f 6f |files.!H|ope._Boo|
|000003c0| 74 20 24 2e 66 69 6c 65 | 73 2e 21 48 6f 70 65 2e |t $.file|s.!Hope.|
|000003d0| 21 42 6f 6f 74 20 0a 2a | 71 75 69 74 0a 00 00 00 |!Boot .*|quit....|
|000003e0| 00 00 00 00 00 00 00 00 | 00 00 00 00 00 00 00 00 |........|........|
|000003f0| 00 00 00 00 00 00 00 00 | 00 00 00 00 00 00 00 00 |........|........|
|00000400| 5f 66 69 6c 65 73 2f 73 | 65 74 74 79 70 65 73 00 |_files/s|ettypes.|
|00000410| 00 00 00 00 00 00 00 00 | 00 00 00 00 00 00 00 00 |........|........|
|00000420| 00 00 00 00 00 00 00 00 | 00 00 00 00 00 00 00 00 |........|........|
|00000430| 00 00 00 00 00 00 00 00 | 00 00 00 00 00 00 00 00 |........|........|
|00000440| 00 00 00 00 00 00 00 00 | 00 00 00 00 00 00 00 00 |........|........|
|00000450| 00 00 00 00 00 00 00 00 | 00 00 00 00 00 00 00 00 |........|........|
|00000460| 00 00 00 00 20 20 20 36 | 30 30 00 00 20 20 20 20 |.... 6|00.. |
|00000470| 20 30 00 00 20 20 20 20 | 20 30 00 00 20 20 20 20 | 0.. | 0.. |
|00000480| 20 20 20 20 20 20 35 00 | 20 35 30 33 30 32 35 35 | 5.| 5030255|
|00000490| 32 36 35 00 20 20 37 34 | 31 36 00 20 30 00 00 00 |265. 74|16. 0...|
|000004a0| 00 00 00 00 00 00 00 00 | 00 00 00 00 00 00 00 00 |........|........|
|000004b0| 00 00 00 00 00 00 00 00 | 00 00 00 00 00 00 00 00 |........|........|
|000004c0| 00 00 00 00 00 00 00 00 | 00 00 00 00 00 00 00 00 |........|........|
|000004d0| 00 00 00 00 00 00 00 00 | 00 00 00 00 00 00 00 00 |........|........|
|000004e0| 00 00 00 00 00 00 00 00 | 00 00 00 00 00 00 00 00 |........|........|
|000004f0| 00 00 00 00 00 00 00 00 | 00 00 00 00 00 00 00 00 |........|........|
|00000500| 00 00 00 00 00 00 00 00 | 00 00 00 00 00 00 00 00 |........|........|
|00000510| 00 00 00 00 00 00 00 00 | 00 00 00 00 00 00 00 00 |........|........|
|00000520| 00 00 00 00 00 00 00 00 | 00 00 00 00 00 00 00 00 |........|........|
|00000530| 00 00 00 00 00 00 00 00 | 00 20 20 20 20 20 20 20 |........|. |
|00000540| 20 20 20 30 20 00 00 00 | 00 00 00 00 00 00 00 00 | 0 ...|........|
|00000550| 00 00 00 00 00 00 00 00 | 00 00 00 00 00 00 00 00 |........|........|
|00000560| 00 00 00 00 00 00 00 00 | 00 00 00 00 00 00 00 00 |........|........|
|00000570| 00 00 00 00 00 00 00 00 | 00 00 00 00 00 00 00 00 |........|........|
|00000580| 00 00 00 00 00 00 00 00 | 00 00 00 00 00 00 00 00 |........|........|
|00000590| 00 00 00 00 00 00 00 00 | 00 00 00 00 00 00 00 00 |........|........|
|000005a0| 00 00 00 00 00 00 00 00 | 00 00 00 00 00 00 00 00 |........|........|
|000005b0| 00 00 00 00 00 00 00 00 | 00 00 00 00 00 00 00 00 |........|........|
|000005c0| 00 00 00 00 00 00 00 00 | 00 00 00 00 00 00 00 00 |........|........|
|000005d0| 00 00 00 00 00 00 00 00 | 00 00 00 00 00 00 00 00 |........|........|
|000005e0| 00 00 00 00 00 00 00 00 | 00 00 00 00 00 00 00 00 |........|........|
|000005f0| 00 00 00 00 00 00 00 00 | 00 00 00 00 00 00 00 00 |........|........|
|00000600| 2a 71 75 69 74 00 00 00 | 00 00 00 00 00 00 00 00 |*quit...|........|
|00000610| 00 00 00 00 00 00 00 00 | 00 00 00 00 00 00 00 00 |........|........|
|00000620| 00 00 00 00 00 00 00 00 | 00 00 00 00 00 00 00 00 |........|........|
|00000630| 00 00 00 00 00 00 00 00 | 00 00 00 00 00 00 00 00 |........|........|
|00000640| 00 00 00 00 00 00 00 00 | 00 00 00 00 00 00 00 00 |........|........|
|00000650| 00 00 00 00 00 00 00 00 | 00 00 00 00 00 00 00 00 |........|........|
|00000660| 00 00 00 00 00 00 00 00 | 00 00 00 00 00 00 00 00 |........|........|
|00000670| 00 00 00 00 00 00 00 00 | 00 00 00 00 00 00 00 00 |........|........|
|00000680| 00 00 00 00 00 00 00 00 | 00 00 00 00 00 00 00 00 |........|........|
|00000690| 00 00 00 00 00 00 00 00 | 00 00 00 00 00 00 00 00 |........|........|
|000006a0| 00 00 00 00 00 00 00 00 | 00 00 00 00 00 00 00 00 |........|........|
|000006b0| 00 00 00 00 00 00 00 00 | 00 00 00 00 00 00 00 00 |........|........|
|000006c0| 00 00 00 00 00 00 00 00 | 00 00 00 00 00 00 00 00 |........|........|
|000006d0| 00 00 00 00 00 00 00 00 | 00 00 00 00 00 00 00 00 |........|........|
|000006e0| 00 00 00 00 00 00 00 00 | 00 00 00 00 00 00 00 00 |........|........|
|000006f0| 00 00 00 00 00 00 00 00 | 00 00 00 00 00 00 00 00 |........|........|
|00000700| 00 00 00 00 00 00 00 00 | 00 00 00 00 00 00 00 00 |........|........|
|00000710| 00 00 00 00 00 00 00 00 | 00 00 00 00 00 00 00 00 |........|........|
|00000720| 00 00 00 00 00 00 00 00 | 00 00 00 00 00 00 00 00 |........|........|
|00000730| 00 00 00 00 00 00 00 00 | 00 00 00 00 00 00 00 00 |........|........|
|00000740| 00 00 00 00 00 00 00 00 | 00 00 00 00 00 00 00 00 |........|........|
|00000750| 00 00 00 00 00 00 00 00 | 00 00 00 00 00 00 00 00 |........|........|
|00000760| 00 00 00 00 00 00 00 00 | 00 00 00 00 00 00 00 00 |........|........|
|00000770| 00 00 00 00 00 00 00 00 | 00 00 00 00 00 00 00 00 |........|........|
|00000780| 00 00 00 00 00 00 00 00 | 00 00 00 00 00 00 00 00 |........|........|
|00000790| 00 00 00 00 00 00 00 00 | 00 00 00 00 00 00 00 00 |........|........|
|000007a0| 00 00 00 00 00 00 00 00 | 00 00 00 00 00 00 00 00 |........|........|
|000007b0| 00 00 00 00 00 00 00 00 | 00 00 00 00 00 00 00 00 |........|........|
|000007c0| 00 00 00 00 00 00 00 00 | 00 00 00 00 00 00 00 00 |........|........|
|000007d0| 00 00 00 00 00 00 00 00 | 00 00 00 00 00 00 00 00 |........|........|
|000007e0| 00 00 00 00 00 00 00 00 | 00 00 00 00 00 00 00 00 |........|........|
|000007f0| 00 00 00 00 00 00 00 00 | 00 00 00 00 00 00 00 00 |........|........|
|00000800| 5f 66 69 6c 65 73 2f 5f | 44 6f 63 75 6d 65 6e 74 |_files/_|Document|
|00000810| 73 2f 42 4e 46 2d 48 6f | 70 65 00 00 00 00 00 00 |s/BNF-Ho|pe......|
|00000820| 00 00 00 00 00 00 00 00 | 00 00 00 00 00 00 00 00 |........|........|
|00000830| 00 00 00 00 00 00 00 00 | 00 00 00 00 00 00 00 00 |........|........|
|00000840| 00 00 00 00 00 00 00 00 | 00 00 00 00 00 00 00 00 |........|........|
|00000850| 00 00 00 00 00 00 00 00 | 00 00 00 00 00 00 00 00 |........|........|
|00000860| 00 00 00 00 20 20 20 36 | 30 30 00 00 20 20 20 20 |.... 6|00.. |
|00000870| 20 30 00 00 20 20 20 20 | 20 30 00 00 20 20 20 20 | 0.. | 0.. |
|00000880| 20 20 32 31 33 32 37 00 | 20 34 35 33 32 32 37 37 | 21327.| 4532277|
|00000890| 34 30 30 00 20 31 31 32 | 34 37 00 20 30 00 00 00 |400. 112|47. 0...|
|000008a0| 00 00 00 00 00 00 00 00 | 00 00 00 00 00 00 00 00 |........|........|
|000008b0| 00 00 00 00 00 00 00 00 | 00 00 00 00 00 00 00 00 |........|........|
|000008c0| 00 00 00 00 00 00 00 00 | 00 00 00 00 00 00 00 00 |........|........|
|000008d0| 00 00 00 00 00 00 00 00 | 00 00 00 00 00 00 00 00 |........|........|
|000008e0| 00 00 00 00 00 00 00 00 | 00 00 00 00 00 00 00 00 |........|........|
|000008f0| 00 00 00 00 00 00 00 00 | 00 00 00 00 00 00 00 00 |........|........|
|00000900| 00 00 00 00 00 00 00 00 | 00 00 00 00 00 00 00 00 |........|........|
|00000910| 00 00 00 00 00 00 00 00 | 00 00 00 00 00 00 00 00 |........|........|
|00000920| 00 00 00 00 00 00 00 00 | 00 00 00 00 00 00 00 00 |........|........|
|00000930| 00 00 00 00 00 00 00 00 | 00 20 20 20 20 20 20 20 |........|. |
|00000940| 20 20 20 30 20 00 00 00 | 00 00 00 00 00 00 00 00 | 0 ...|........|
|00000950| 00 00 00 00 00 00 00 00 | 00 00 00 00 00 00 00 00 |........|........|
|00000960| 00 00 00 00 00 00 00 00 | 00 00 00 00 00 00 00 00 |........|........|
|00000970| 00 00 00 00 00 00 00 00 | 00 00 00 00 00 00 00 00 |........|........|
|00000980| 00 00 00 00 00 00 00 00 | 00 00 00 00 00 00 00 00 |........|........|
|00000990| 00 00 00 00 00 00 00 00 | 00 00 00 00 00 00 00 00 |........|........|
|000009a0| 00 00 00 00 00 00 00 00 | 00 00 00 00 00 00 00 00 |........|........|
|000009b0| 00 00 00 00 00 00 00 00 | 00 00 00 00 00 00 00 00 |........|........|
|000009c0| 00 00 00 00 00 00 00 00 | 00 00 00 00 00 00 00 00 |........|........|
|000009d0| 00 00 00 00 00 00 00 00 | 00 00 00 00 00 00 00 00 |........|........|
|000009e0| 00 00 00 00 00 00 00 00 | 00 00 00 00 00 00 00 00 |........|........|
|000009f0| 00 00 00 00 00 00 00 00 | 00 00 00 00 00 00 00 00 |........|........|
|00000a00| 3c 70 72 6f 67 72 61 6d | 3e 20 3a 3a 3d 0a 20 20 |<program|> ::=. |
|00000a10| 20 20 20 20 20 20 3c 70 | 72 6f 67 72 61 6d 20 65 | <p|rogram e|
|00000a20| 6c 65 6d 65 6e 74 3e 20 | 3c 73 65 70 3e 2e 2e 31 |lement> |<sep>..1|
|00000a30| 2e 2e 3c 70 72 6f 67 72 | 61 6d 20 65 6c 65 6d 65 |..<progr|am eleme|
|00000a40| 6e 74 3e 20 3b 0a 0a 3c | 70 72 6f 67 72 61 6d 20 |nt> ;..<|program |
|00000a50| 65 6c 65 6d 65 6e 74 3e | 20 3a 3a 3d 0a 20 20 20 |element>| ::=. |
|00000a60| 20 20 20 20 20 3c 6d 6f | 64 75 6c 65 3e 20 7c 0a | <mo|dule> |.|
|00000a70| 20 20 20 20 20 20 20 20 | 3c 63 6f 6e 74 65 78 74 | |<context|
|00000a80| 20 63 6f 6d 6d 61 6e 64 | 3e 20 7c 0a 20 20 20 20 | command|> |. |
|00000a90| 20 20 20 20 3c 73 74 61 | 74 65 6d 65 6e 74 3e 0a | <sta|tement>.|
|00000aa0| 0a 3c 73 65 70 3e 20 3a | 3a 3d 0a 20 20 20 20 20 |.<sep> :|:=. |
|00000ab0| 20 20 20 3b 0a 0a 3c 6d | 6f 64 75 6c 65 3e 20 3a | ;..<m|odule> :|
|00000ac0| 3a 3d 0a 20 20 20 20 20 | 20 20 20 6d 6f 64 75 6c |:=. | modul|
|00000ad0| 65 20 3c 6d 6f 64 75 6c | 65 20 6e 61 6d 65 3e 20 |e <modul|e name> |
|00000ae0| 3c 73 65 70 3e 20 20 3c | 73 74 61 74 65 6d 65 6e |<sep> <|statemen|
|00000af0| 74 3e 20 3c 73 65 70 3e | 20 2e 2e 30 2e 2e 20 3c |t> <sep>| ..0.. <|
|00000b00| 73 74 61 74 65 6d 65 6e | 74 3e 20 65 6e 64 0a 0a |statemen|t> end..|
|00000b10| 3c 73 74 61 74 65 6d 65 | 6e 74 3e 20 3a 3a 3d 0a |<stateme|nt> ::=.|
|00000b20| 20 20 20 20 20 20 20 20 | 3c 73 79 73 74 65 6d 20 | |<system |
|00000b30| 63 6f 6d 6d 61 6e 64 3e | 20 20 7c 0a 20 20 20 20 |command>| |. |
|00000b40| 20 20 20 20 3c 73 79 6e | 74 61 78 20 64 65 63 6c | <syn|tax decl|
|00000b50| 61 72 61 74 69 6f 6e 3e | 20 7c 0a 20 20 20 20 20 |aration>| |. |
|00000b60| 20 20 20 3c 73 63 6f 70 | 65 20 63 6f 6d 6d 61 6e | <scop|e comman|
|00000b70| 64 3e 20 7c 0a 20 20 20 | 20 20 20 20 20 3c 69 6e |d> |. | <in|
|00000b80| 74 65 72 66 61 63 65 20 | 64 65 63 6c 61 72 61 74 |terface |declarat|
|00000b90| 69 6f 6e 3e 20 7c 0a 20 | 20 20 20 20 20 20 20 3c |ion> |. | <|
|00000ba0| 74 79 70 65 2d 76 61 72 | 69 61 62 6c 65 20 64 65 |type-var|iable de|
|00000bb0| 63 6c 61 72 61 74 69 6f | 6e 3e 20 7c 0a 20 20 20 |claratio|n> |. |
|00000bc0| 20 20 20 20 20 3c 64 65 | 66 69 6e 65 64 2d 6f 62 | <de|fined-ob|
|00000bd0| 6a 65 63 74 20 64 65 63 | 6c 61 72 61 74 69 6f 6e |ject dec|laration|
|00000be0| 3e 20 7c 0a 20 20 20 20 | 20 20 20 20 3c 74 79 70 |> |. | <typ|
|00000bf0| 65 20 64 65 66 69 6e 69 | 74 69 6f 6e 20 73 74 61 |e defini|tion sta|
|00000c00| 74 65 6d 65 6e 74 3e 20 | 7c 0a 20 20 20 20 20 20 |tement> ||. |
|00000c10| 20 20 3c 65 71 75 61 74 | 69 6f 6e 3e 20 7c 0a 20 | <equat|ion> |. |
|00000c20| 20 20 20 20 20 20 20 3c | 63 6f 6d 6d 65 6e 74 3e | <|comment>|
|00000c30| 0a 0a 3c 73 79 73 74 65 | 6d 20 63 6f 6d 6d 61 6e |..<syste|m comman|
|00000c40| 64 3e 20 3a 3a 3d 0a 20 | 20 20 20 20 20 20 20 6c |d> ::=. | l|
|00000c50| 6f 61 64 20 3c 66 69 6c | 65 20 6e 61 6d 65 3e 20 |oad <fil|e name> |
|00000c60| 7c 0a 20 20 20 20 20 20 | 20 20 65 78 69 74 20 7c ||. | exit ||
|00000c70| 0a 20 20 20 20 20 20 20 | 20 65 63 68 6f 20 3c 6f |. | echo <o|
|00000c80| 6e 6f 66 66 20 70 61 72 | 61 6d 65 74 65 72 3e 20 |noff par|ameter> |
|00000c90| 7c 0a 20 20 20 20 20 20 | 20 20 74 72 61 63 65 20 ||. | trace |
|00000ca0| 3c 74 72 61 63 65 20 70 | 61 72 61 6d 65 74 65 72 |<trace p|arameter|
|00000cb0| 3e 20 7c 0a 20 20 20 20 | 20 20 20 20 6e 6f 74 72 |> |. | notr|
|00000cc0| 61 63 65 20 3c 6e 6f 74 | 72 61 63 65 20 70 61 72 |ace <not|race par|
|00000cd0| 61 6d 65 74 65 72 3e 20 | 7c 0a 20 20 20 20 20 20 |ameter> ||. |
|00000ce0| 20 20 73 61 76 65 20 3c | 66 69 6c 65 20 6e 61 6d | save <|file nam|
|00000cf0| 65 3e 20 7c 0a 20 20 20 | 20 20 20 20 20 74 69 6d |e> |. | tim|
|00000d00| 65 20 3c 6f 6e 6f 66 66 | 20 70 61 72 61 6d 65 74 |e <onoff| paramet|
|00000d10| 65 72 3e 20 7c 0a 20 20 | 20 20 20 20 20 20 73 79 |er> |. | sy|
|00000d20| 73 74 65 6d 20 7c 0a 20 | 20 20 20 20 20 20 20 68 |stem |. | h|
|00000d30| 65 6c 70 20 7c 0a 20 20 | 20 20 20 20 20 20 64 69 |elp |. | di|
|00000d40| 73 70 6c 61 79 20 3c 64 | 69 73 70 6c 61 79 20 70 |splay <d|isplay p|
|00000d50| 61 72 61 6d 65 74 65 72 | 3e 20 7c 0a 20 20 20 20 |arameter|> |. |
|00000d60| 20 20 20 20 5e 43 0a 0a | 3c 64 69 73 70 6c 61 79 | ^C..|<display|
|00000d70| 20 70 61 72 61 6d 65 74 | 65 72 3e 20 3a 3a 3d 0a | paramet|er> ::=.|
|00000d80| 20 20 20 20 20 20 20 20 | 64 61 74 61 20 7c 0a 20 | |data |. |
|00000d90| 20 20 20 20 20 20 20 66 | 75 6e 63 74 69 6f 6e 73 | f|unctions|
|00000da0| 20 7c 0a 20 20 20 20 20 | 20 20 20 3c 69 64 65 6e | |. | <iden|
|00000db0| 74 69 66 69 65 72 3e 20 | 7c 0a 20 20 20 20 20 20 |tifier> ||. |
|00000dc0| 20 20 3c 69 64 65 6e 74 | 69 66 69 65 72 3e 20 2a | <ident|ifier> *|
|00000dd0| 20 7c 0a 20 20 20 20 20 | 20 20 20 3c 65 6d 70 74 | |. | <empt|
|00000de0| 79 3e 0a 0a 3c 74 72 61 | 63 65 20 70 61 72 61 6d |y>..<tra|ce param|
|00000df0| 65 74 65 72 3e 20 3a 3a | 3d 0a 20 20 20 20 20 20 |eter> ::|=. |
|00000e00| 20 20 3c 69 64 65 6e 74 | 69 66 69 65 72 3e 20 2a | <ident|ifier> *|
|00000e10| 3f 20 7c 0a 20 20 20 20 | 20 20 20 20 6f 6e 20 7c |? |. | on ||
|00000e20| 0a 20 20 20 20 20 20 20 | 20 6f 66 66 20 7c 0a 20 |. | off |. |
|00000e30| 20 20 20 20 20 20 20 61 | 6c 6c 0a 0a 3c 6e 6f 74 | a|ll..<not|
|00000e40| 72 61 63 65 20 70 61 72 | 61 6d 65 74 65 72 3e 20 |race par|ameter> |
|00000e50| 3a 3a 3d 0a 20 20 20 20 | 20 20 20 20 3c 69 64 65 |::=. | <ide|
|00000e60| 6e 74 69 66 69 65 72 3e | 20 2a 3f 20 7c 0a 20 20 |ntifier>| *? |. |
|00000e70| 20 20 20 20 20 20 61 6c | 6c 0a 0a 3c 6f 6e 6f 66 | al|l..<onof|
|00000e80| 66 20 70 61 72 61 6d 65 | 74 65 72 3e 20 3a 3a 3d |f parame|ter> ::=|
|00000e90| 0a 0a 0a 3e 0a 0a 3c 65 | 6d 70 74 79 3e 20 3a 3d |...>..<e|mpty> :=|
|00000ea0| 0a 0a 3c 73 79 6e 74 61 | 78 20 64 65 63 6c 61 72 |..<synta|x declar|
|00000eb0| 61 74 69 6f 6e 3e 20 3a | 3a 3d 0a 3c 69 64 65 6e |ation> :|:=.<iden|
|00000ec0| 74 69 66 69 65 72 3e 20 | 2c 20 2e 2e 31 2e 2e 20 |tifier> |, ..1.. |
|00000ed0| 3c 69 64 65 6e 74 69 66 | 69 65 72 3e 20 3a 20 3c |<identif|ier> : <|
|00000ee0| 70 72 65 63 65 64 65 6e | 63 65 3e 0a 0a 3c 70 72 |preceden|ce>..<pr|
|00000ef0| 65 63 65 64 65 6e 63 65 | 3e 20 3a 3a 3d 0a 20 20 |ecedence|> ::=. |
|00000f00| 20 20 20 20 20 20 3c 6e | 61 74 75 72 61 6c 20 6e | <n|atural n|
|00000f10| 75 6d 62 65 72 3e 0a 0a | 3c 69 6e 74 65 72 66 61 |umber>..|<interfa|
|00000f20| 63 65 20 64 65 63 6c 61 | 72 61 74 69 6f 6e 3e 20 |ce decla|ration> |
|00000f30| 3a 3a 3d 0a 20 20 20 20 | 20 20 20 20 3c 65 78 70 |::=. | <exp|
|00000f40| 6f 72 74 20 64 65 63 6c | 61 72 61 74 69 6f 6e 3e |ort decl|aration>|
|00000f50| 20 7c 0a 20 20 20 20 20 | 20 20 20 3c 69 6d 70 6f | |. | <impo|
|00000f60| 72 74 20 64 65 63 6c 61 | 72 61 74 69 6f 6e 3e 0a |rt decla|ration>.|
|00000f70| 0a 3c 65 78 70 6f 72 74 | 20 64 65 63 6c 61 72 61 |.<export| declara|
|00000f80| 74 69 6f 6e 3e 20 3a 3a | 3d 0a 20 20 20 20 20 20 |tion> ::|=. |
|00000f90| 20 20 3c 65 78 70 6f 72 | 74 20 64 65 63 6c 61 72 | <expor|t declar|
|00000fa0| 61 74 69 6f 6e 20 6b 69 | 6e 64 3e 20 3c 69 64 65 |ation ki|nd> <ide|
|00000fb0| 6e 74 69 66 69 65 72 3e | 20 2c 20 2e 2e 31 2e 2e |ntifier>| , ..1..|
|00000fc0| 20 3c 69 64 65 6e 74 69 | 66 69 65 72 3e 0a 0a 3c | <identi|fier>..<|
|00000fd0| 65 78 70 6f 72 74 20 64 | 65 63 6c 61 72 61 74 69 |export d|eclarati|
|00000fe0| 6f 6e 20 6b 69 6e 64 3e | 20 3a 3a 3d 0a 20 20 20 |on kind>| ::=. |
|00000ff0| 20 20 20 20 20 70 75 62 | 74 79 70 65 20 7c 0a 20 | pub|type |. |
|00001000| 20 20 20 20 20 20 20 70 | 75 62 63 6f 6e 73 74 0a | p|ubconst.|
|00001010| 0a 3c 69 6d 70 6f 72 74 | 20 64 65 63 6c 61 72 61 |.<import| declara|
|00001020| 74 69 6f 6e 3e 20 3a 3a | 3d 0a 20 20 20 20 20 20 |tion> ::|=. |
|00001030| 20 20 75 73 65 73 20 3c | 69 64 65 6e 74 69 66 69 | uses <|identifi|
|00001040| 65 72 3e 20 2c 20 2e 2e | 31 2e 2e 20 3c 69 64 65 |er> , ..|1.. <ide|
|00001050| 6e 74 69 66 69 65 72 3e | 0a 0a 3c 74 79 70 65 2d |ntifier>|..<type-|
|00001060| 76 61 72 69 61 62 6c 65 | 20 64 65 63 6c 61 72 61 |variable| declara|
|00001070| 74 69 6f 6e 3e 20 3a 3a | 3d 0a 20 20 20 20 20 20 |tion> ::|=. |
|00001080| 20 20 74 79 70 65 76 61 | 72 20 3c 69 64 65 6e 74 | typeva|r <ident|
|00001090| 69 66 69 65 72 3e 20 2c | 20 2e 2e 31 2e 2e 20 3c |ifier> ,| ..1.. <|
|000010a0| 69 64 65 6e 74 69 66 69 | 65 72 3e 0a 0a 3c 64 65 |identifi|er>..<de|
|000010b0| 66 69 6e 65 64 2d 6f 62 | 6a 65 63 74 20 64 65 63 |fined-ob|ject dec|
|000010c0| 6c 61 72 61 74 69 6f 6e | 3e 20 3a 3a 3d 0a 20 20 |laration|> ::=. |
|000010d0| 20 20 20 20 20 20 64 65 | 63 20 3c 69 64 65 6e 74 | de|c <ident|
|000010e0| 69 66 69 65 72 3e 20 2c | 20 2e 2e 31 2e 2e 20 3c |ifier> ,| ..1.. <|
|000010f0| 69 64 65 6e 74 69 66 69 | 65 72 3e 20 3a 20 3c 74 |identifi|er> : <t|
|00001100| 79 70 65 20 65 78 70 72 | 65 73 73 69 6f 6e 3e 0a |ype expr|ession>.|
|00001110| 0a 3c 74 79 70 65 20 64 | 65 66 69 6e 69 74 69 6f |.<type d|efinitio|
|00001120| 6e 20 73 74 61 74 65 6d | 65 6e 74 3e 20 3a 3a 3d |n statem|ent> ::=|
|00001130| 0a 20 20 20 20 20 20 20 | 20 64 61 74 61 20 3c 70 |. | data <p|
|00001140| 72 69 6d 69 74 69 76 65 | 20 74 79 70 65 20 64 65 |rimitive| type de|
|00001150| 66 69 6e 69 74 69 6f 6e | 3e 20 77 69 74 68 20 2e |finition|> with .|
|00001160| 2e 31 2e 2e 20 3c 70 72 | 69 6d 69 74 69 76 65 20 |.1.. <pr|imitive |
|00001170| 74 79 70 65 20 64 65 66 | 69 6e 69 74 69 6f 6e 3e |type def|inition>|
|00001180| 20 7c 0a 20 20 20 20 20 | 20 20 20 74 79 70 65 20 | |. | type |
|00001190| 3c 64 65 72 69 76 65 64 | 20 74 79 70 65 20 64 65 |<derived| type de|
|000011a0| 66 69 6e 69 74 69 6f 6e | 3e 0a 0a 3c 70 72 69 6d |finition|>..<prim|
|000011b0| 69 74 69 76 65 20 74 79 | 70 65 20 64 65 66 69 6e |itive ty|pe defin|
|000011c0| 69 74 69 6f 6e 3e 20 3a | 3a 3d 0a 20 20 20 20 20 |ition> :|:=. |
|000011d0| 20 20 20 3c 66 6f 72 6d | 61 6c 20 74 79 70 65 20 | <form|al type |
|000011e0| 74 65 72 6d 3e 20 3d 3d | 20 3c 74 79 70 65 20 73 |term> ==| <type s|
|000011f0| 75 6d 6d 61 6e 64 3e 20 | 2b 2b 20 2e 2e 31 2e 2e |ummand> |++ ..1..|
|00001200| 20 3c 74 79 70 65 20 73 | 75 6d 6d 61 6e 64 3e 0a | <type s|ummand>.|
|00001210| 0a 3c 64 65 72 69 76 65 | 64 20 74 79 70 65 20 64 |.<derive|d type d|
|00001220| 65 66 69 6e 69 74 69 6f | 6e 3e 20 3a 3a 3d 0a 20 |efinitio|n> ::=. |
|00001230| 20 20 20 20 20 20 20 3c | 66 6f 72 6d 61 6c 20 74 | <|formal t|
|00001240| 79 70 65 20 74 65 72 6d | 3e 20 3d 3d 20 3c 74 79 |ype term|> == <ty|
|00001250| 70 65 20 65 78 70 72 65 | 73 73 69 6f 6e 3e 0a 0a |pe expre|ssion>..|
|00001260| 3c 66 6f 72 6d 61 6c 20 | 74 79 70 65 20 74 65 72 |<formal |type ter|
|00001270| 6d 3e 20 3a 3a 3d 0a 20 | 20 20 20 20 20 20 20 3c |m> ::=. | <|
|00001280| 74 79 70 65 20 63 6f 6e | 73 74 61 6e 74 3e 20 7c |type con|stant> ||
|00001290| 0a 20 20 20 20 20 20 20 | 20 3c 6e 6f 6e 2d 6f 70 |. | <non-op|
|000012a0| 65 72 61 74 6f 72 20 74 | 79 70 65 20 63 6f 6e 73 |erator t|ype cons|
|000012b0| 74 72 75 63 74 6f 72 3e | 20 3c 74 79 70 65 20 76 |tructor>| <type v|
|000012c0| 61 72 69 61 62 6c 65 3e | 20 7c 0a 20 20 20 20 20 |ariable>| |. |
|000012d0| 20 20 20 3c 6e 6f 6e 2d | 6f 70 65 72 61 74 6f 72 | <non-|operator|
|000012e0| 20 74 79 70 65 20 63 6f | 6e 73 74 72 75 63 74 6f | type co|nstructo|
|000012f0| 72 3e 20 28 20 3c 74 79 | 70 65 20 76 61 72 69 61 |r> ( <ty|pe varia|
|00001300| 62 6c 65 3e 20 2c 20 2e | 2e 30 2e 2e 20 3c 74 79 |ble> , .|.0.. <ty|
|00001310| 70 65 20 76 61 72 69 61 | 62 6c 65 3e 20 29 20 7c |pe varia|ble> ) ||
|00001320| 0a 20 20 20 20 20 20 20 | 20 3c 70 72 65 66 69 78 |. | <prefix|
|00001330| 20 74 79 70 65 20 63 6f | 6e 73 74 72 75 63 74 6f | type co|nstructo|
|00001340| 72 3e 20 3c 74 79 70 65 | 20 76 61 72 69 61 62 6c |r> <type| variabl|
|00001350| 65 3e 20 7c 0a 20 20 20 | 20 20 20 20 20 3c 74 79 |e> |. | <ty|
|00001360| 70 65 20 76 61 72 69 61 | 62 6c 65 3e 20 3c 69 6e |pe varia|ble> <in|
|00001370| 66 69 78 20 74 79 70 65 | 20 63 6f 6e 73 74 72 75 |fix type| constru|
|00001380| 63 74 6f 72 3e 20 3c 74 | 79 70 65 20 76 61 72 69 |ctor> <t|ype vari|
|00001390| 61 62 6c 65 3e 20 7c 0a | 20 20 20 20 20 20 20 20 |able> |.| |
|000013a0| 28 20 3c 66 6f 72 6d 61 | 6c 20 74 79 70 65 20 74 |( <forma|l type t|
|000013b0| 65 72 6d 3e 20 29 0a 0a | 0a 3c 74 79 70 65 20 73 |erm> )..|.<type s|
|000013c0| 75 6d 6d 61 6e 64 3e 20 | 3a 3a 3d 0a 20 20 20 20 |ummand> |::=. |
|000013d0| 20 20 20 20 3c 64 61 74 | 61 20 63 6f 6e 73 74 61 | <dat|a consta|
|000013e0| 6e 74 3e 20 7c 0a 20 20 | 20 20 20 20 20 20 3c 6e |nt> |. | <n|
|000013f0| 6f 6e 2d 6f 70 65 72 61 | 74 6f 72 20 64 61 74 61 |on-opera|tor data|
|00001400| 20 63 6f 6e 73 74 72 75 | 63 74 6f 72 3e 20 3c 74 | constru|ctor> <t|
|00001410| 79 70 65 20 65 78 70 72 | 65 73 73 69 6f 6e 3e 20 |ype expr|ession> |
|00001420| 7c 0a 20 20 20 20 20 20 | 20 20 3c 70 72 65 66 69 ||. | <prefi|
|00001430| 78 20 64 61 74 61 20 63 | 6f 6e 73 74 72 75 63 74 |x data c|onstruct|
|00001440| 6f 72 3e 20 3c 74 79 70 | 65 20 65 78 70 72 65 73 |or> <typ|e expres|
|00001450| 73 69 6f 6e 3e 20 7c 0a | 20 20 20 20 20 20 20 20 |sion> |.| |
|00001460| 3c 74 79 70 65 20 65 78 | 70 72 65 73 73 69 6f 6e |<type ex|pression|
|00001470| 3e 20 3c 69 6e 66 69 78 | 20 64 61 74 61 20 63 6f |> <infix| data co|
|00001480| 6e 73 74 72 75 63 74 6f | 72 3e 20 3c 74 79 70 65 |nstructo|r> <type|
|00001490| 20 65 78 70 72 65 73 73 | 69 6f 6e 3e 20 7c 0a 20 | express|ion> |. |
|000014a0| 20 20 20 20 20 20 20 28 | 20 3c 74 79 70 65 20 73 | (| <type s|
|000014b0| 75 6d 6d 61 6e 64 3e 20 | 29 0a 0a 3c 74 79 70 65 |ummand> |)..<type|
|000014c0| 20 65 78 70 72 65 73 73 | 69 6f 6e 3e 20 3a 3a 3d | express|ion> ::=|
|000014d0| 0a 20 20 20 20 20 20 20 | 20 3c 73 69 6d 70 6c 65 |. | <simple|
|000014e0| 20 74 79 70 65 20 65 78 | 70 72 65 73 73 69 6f 6e | type ex|pression|
|000014f0| 3e 20 7c 0a 20 20 20 20 | 20 20 20 20 3c 63 6f 6e |> |. | <con|
|00001500| 73 74 72 75 63 74 6f 72 | 20 74 79 70 65 20 65 78 |structor| type ex|
|00001510| 70 72 65 73 73 69 6f 6e | 3e 20 7c 0a 20 20 20 20 |pression|> |. |
|00001520| 20 20 20 20 3c 66 75 6e | 63 74 69 6f 6e 20 74 79 | <fun|ction ty|
|00001530| 70 65 20 65 78 70 72 65 | 73 73 69 6f 6e 3e 20 7c |pe expre|ssion> ||
|00001540| 0a 20 20 20 20 20 20 20 | 20 3c 74 75 70 6c 65 20 |. | <tuple |
|00001550| 74 79 70 65 20 65 78 70 | 72 65 73 73 69 6f 6e 3e |type exp|ression>|
|00001560| 20 7c 0a 20 20 20 20 20 | 20 20 20 28 20 3c 74 79 | |. | ( <ty|
|00001570| 70 65 20 65 78 70 72 65 | 73 73 69 6f 6e 3e 20 29 |pe expre|ssion> )|
|00001580| 0a 0a 3c 73 69 6d 70 6c | 65 20 74 79 70 65 20 65 |..<simpl|e type e|
|00001590| 78 70 72 65 73 73 69 6f | 6e 3e 3a 3a 3d 0a 20 20 |xpressio|n>::=. |
|000015a0| 20 20 20 20 20 20 3c 74 | 79 70 65 20 76 61 72 69 | <t|ype vari|
|000015b0| 61 62 6c 65 3e 20 7c 0a | 20 20 20 20 20 20 20 20 |able> |.| |
|000015c0| 3c 74 79 70 65 20 63 6f | 6e 73 74 61 6e 74 3e 0a |<type co|nstant>.|
|000015d0| 0a 3c 63 6f 6e 73 74 72 | 75 63 74 6f 72 20 74 79 |.<constr|uctor ty|
|000015e0| 70 65 20 65 78 70 72 65 | 73 73 69 6f 6e 3e 20 3a |pe expre|ssion> :|
|000015f0| 3a 3d 0a 20 20 20 20 20 | 20 20 20 3c 6e 6f 6e 2d |:=. | <non-|
|00001600| 6f 70 65 72 61 74 6f 72 | 20 74 79 70 65 20 63 6f |operator| type co|
|00001610| 6e 73 74 72 75 63 74 6f | 72 3e 20 3c 74 79 70 65 |nstructo|r> <type|
|00001620| 20 65 78 70 72 65 73 73 | 69 6f 6e 3e 20 7c 0a 20 | express|ion> |. |
|00001630| 20 20 20 20 20 20 20 3c | 6e 6f 6e 2d 6f 70 65 72 | <|non-oper|
|00001640| 61 74 6f 72 20 74 79 70 | 65 20 63 6f 6e 73 74 72 |ator typ|e constr|
|00001650| 75 63 74 6f 72 3e 20 28 | 20 3c 74 79 70 65 20 65 |uctor> (| <type e|
|00001660| 78 70 72 65 73 73 69 6f | 6e 3e 20 2c 20 2e 2e 31 |xpressio|n> , ..1|
|00001670| 2e 2e 20 3c 74 79 70 65 | 20 65 78 70 72 65 73 73 |.. <type| express|
|00001680| 69 6f 6e 3e 20 29 20 7c | 0a 20 20 20 20 20 20 20 |ion> ) ||. |
|00001690| 20 3c 70 72 65 66 69 78 | 20 74 79 70 65 20 63 6f | <prefix| type co|
|000016a0| 6e 73 74 72 75 63 74 6f | 72 3e 20 3c 74 79 70 65 |nstructo|r> <type|
|000016b0| 20 65 78 70 72 65 73 73 | 69 6f 6e 3e 20 7c 0a 20 | express|ion> |. |
|000016c0| 20 20 20 20 20 20 20 3c | 74 79 70 65 20 65 78 70 | <|type exp|
|000016d0| 72 65 73 73 69 6f 6e 3e | 20 3c 69 6e 66 69 78 20 |ression>| <infix |
|000016e0| 74 79 70 65 20 63 6f 6e | 73 74 72 75 63 74 6f 72 |type con|structor|
|000016f0| 3e 20 7c 0a 20 20 20 20 | 20 20 20 20 3c 74 79 70 |> |. | <typ|
|00001700| 65 20 65 78 70 72 65 73 | 73 69 6f 6e 3e 0a 0a 3c |e expres|sion>..<|
|00001710| 66 75 6e 63 74 69 6f 6e | 20 74 79 70 65 20 65 78 |function| type ex|
|00001720| 70 72 65 73 73 69 6f 6e | 3e 20 3a 3a 3d 0a 20 20 |pression|> ::=. |
|00001730| 20 20 20 20 20 20 3c 74 | 79 70 65 20 65 78 70 72 | <t|ype expr|
|00001740| 65 73 73 69 6f 6e 3e 20 | 2d 3e 20 3c 74 79 70 65 |ession> |-> <type|
|00001750| 20 65 78 70 72 65 73 73 | 69 6f 6e 3e 0a 0a 3c 74 | express|ion>..<t|
|00001760| 75 70 6c 65 20 74 79 70 | 65 20 65 78 70 72 65 73 |uple typ|e expres|
|00001770| 73 69 6f 6e 3e 20 3a 3a | 3d 0a 20 20 20 20 20 20 |sion> ::|=. |
|00001780| 20 20 3c 74 79 70 65 20 | 65 78 70 72 65 73 73 69 | <type |expressi|
|00001790| 6f 6e 3e 20 23 20 2e 2e | 32 2e 2e 20 3c 74 79 70 |on> # ..|2.. <typ|
|000017a0| 65 20 65 78 70 72 65 73 | 73 69 6f 6e 3e 20 7c 0a |e expres|sion> |.|
|000017b0| 20 20 20 20 20 20 20 20 | 76 6f 69 64 0a 0a 3c 65 | |void..<e|
|000017c0| 71 75 61 74 69 6f 6e 3e | 20 3a 3a 3d 0a 20 20 20 |quation>| ::=. |
|000017d0| 20 20 20 20 20 2d 2d 2d | 20 3c 66 6f 72 6d 61 6c | ---| <formal|
|000017e0| 20 64 65 66 69 6e 65 64 | 2d 6f 62 6a 65 63 74 20 | defined|-object |
|000017f0| 74 65 72 6d 3e 20 3c 3d | 20 3c 65 78 70 72 65 73 |term> <=| <expres|
|00001800| 73 69 6f 6e 3e 0a 0a 3c | 66 6f 72 6d 61 6c 20 64 |sion>..<|formal d|
|00001810| 65 66 69 6e 65 64 2d 6f | 62 6a 65 63 74 20 74 65 |efined-o|bject te|
|00001820| 72 6d 3e 20 3a 3a 3d 0a | 20 20 20 20 20 20 20 20 |rm> ::=.| |
|00001830| 3c 73 69 6d 70 6c 65 20 | 66 6f 72 6d 61 6c 20 64 |<simple |formal d|
|00001840| 65 66 69 6e 65 64 2d 6f | 62 6a 65 63 74 20 74 65 |efined-o|bject te|
|00001850| 72 6d 3e 20 7c 0a 20 20 | 20 20 20 20 20 20 3c 61 |rm> |. | <a|
|00001860| 70 70 6c 69 63 61 74 69 | 6f 6e 20 66 6f 72 6d 61 |pplicati|on forma|
|00001870| 6c 20 64 65 66 69 6e 65 | 64 2d 6f 62 6a 65 63 74 |l define|d-object|
|00001880| 20 74 65 72 6d 3e 0a 0a | 3c 73 69 6d 70 6c 65 20 | term>..|<simple |
|00001890| 66 6f 72 6d 61 6c 20 64 | 65 66 69 6e 65 64 2d 6f |formal d|efined-o|
|000018a0| 62 6a 65 63 74 20 74 65 | 72 6d 3e 20 3a 3a 3d 0a |bject te|rm> ::=.|
|000018b0| 20 20 20 20 20 20 20 20 | 3c 6e 6f 6e 2d 6f 70 65 | |<non-ope|
|000018c0| 72 61 74 6f 72 20 64 65 | 66 69 6e 65 64 2d 6f 62 |rator de|fined-ob|
|000018d0| 6a 65 63 74 3e 0a 0a 3c | 61 70 70 6c 69 63 61 74 |ject>..<|applicat|
|000018e0| 69 6f 6e 20 66 6f 72 6d | 61 6c 20 64 65 66 69 6e |ion form|al defin|
|000018f0| 65 64 2d 6f 62 6a 65 63 | 74 20 74 65 72 6d 3e 20 |ed-objec|t term> |
|00001900| 3a 3a 3d 0a 20 20 20 20 | 20 20 20 20 3c 6e 6f 6e |::=. | <non|
|00001910| 2d 6f 70 65 72 61 74 6f | 72 20 64 65 66 69 6e 65 |-operato|r define|
|00001920| 64 2d 6f 62 6a 65 63 74 | 3e 20 3c 70 61 74 74 65 |d-object|> <patte|
|00001930| 72 6e 3e 20 7c 0a 20 20 | 20 20 20 20 20 20 3c 70 |rn> |. | <p|
|00001940| 72 65 66 69 78 20 64 65 | 66 69 6e 65 64 2d 6f 62 |refix de|fined-ob|
|00001950| 6a 65 63 74 3e 20 3c 70 | 61 74 74 65 72 6e 3e 20 |ject> <p|attern> |
|00001960| 7c 0a 20 20 20 20 20 20 | 20 20 3c 70 61 74 74 65 ||. | <patte|
|00001970| 72 6e 3e 20 3c 69 6e 66 | 69 78 20 64 65 66 69 6e |rn> <inf|ix defin|
|00001980| 65 64 2d 6f 62 6a 65 63 | 74 3e 20 3c 70 61 74 74 |ed-objec|t> <patt|
|00001990| 65 72 6e 3e 0a 0a 3c 70 | 61 74 74 65 72 6e 3e 20 |ern>..<p|attern> |
|000019a0| 3a 3a 3d 0a 20 20 20 20 | 20 20 20 20 3c 73 69 6d |::=. | <sim|
|000019b0| 70 6c 65 20 70 61 74 74 | 65 72 6e 3e 20 7c 0a 20 |ple patt|ern> |. |
|000019c0| 20 20 20 20 20 20 20 3c | 70 61 74 74 65 72 6e 20 | <|pattern |
|000019d0| 74 75 70 6c 65 3e 20 7c | 0a 20 20 20 20 20 20 20 |tuple> ||. |
|000019e0| 20 3c 64 61 74 61 20 63 | 6f 6e 73 74 72 75 63 74 | <data c|onstruct|
|000019f0| 6f 72 20 70 61 74 74 65 | 72 6e 20 7c 0a 20 20 20 |or patte|rn |. |
|00001a00| 20 20 20 20 20 3c 6e 6f | 6e 2d 6f 70 65 72 61 74 | <no|n-operat|
|00001a10| 6f 72 20 76 61 72 69 61 | 62 6c 65 3e 20 26 20 3c |or varia|ble> & <|
|00001a20| 70 61 74 74 65 72 6e 3e | 20 7c 0a 20 20 20 20 20 |pattern>| |. |
|00001a30| 20 20 20 28 20 3c 70 61 | 74 74 65 72 6e 3e 20 29 | ( <pa|ttern> )|
|00001a40| 0a 0a 3c 73 69 6d 70 6c | 65 20 70 61 74 74 65 72 |..<simpl|e patter|
|00001a50| 6e 3e 20 3a 3a 3d 0a 20 | 20 20 20 20 20 20 20 3c |n> ::=. | <|
|00001a60| 6c 69 74 65 72 61 6c 3e | 20 7c 0a 20 20 20 20 20 |literal>| |. |
|00001a70| 20 20 20 3c 6e 6f 6e 2d | 6f 70 65 72 61 74 6f 72 | <non-|operator|
|00001a80| 20 76 61 72 69 61 62 6c | 65 3e 20 7c 0a 20 20 20 | variabl|e> |. |
|00001a90| 20 20 20 20 20 3c 64 61 | 74 61 20 63 6f 6e 73 74 | <da|ta const|
|00001aa0| 61 6e 74 3e 20 7c 0a 20 | 20 20 20 20 20 20 20 5f |ant> |. | _|
|00001ab0| 0a 0a 3c 70 61 74 74 65 | 72 6e 20 74 75 70 6c 65 |..<patte|rn tuple|
|00001ac0| 3e 20 3a 3a 3d 0a 20 20 | 20 20 20 20 20 20 3c 70 |> ::=. | <p|
|00001ad0| 61 74 74 65 72 6e 3e 20 | 2c 20 2e 2e 30 2e 2e 20 |attern> |, ..0.. |
|00001ae0| 3c 70 61 74 74 65 72 6e | 3e 20 7c 0a 20 20 20 20 |<pattern|> |. |
|00001af0| 20 20 20 20 28 20 29 0a | 0a 3c 64 61 74 61 20 63 | ( ).|.<data c|
|00001b00| 6f 6e 73 74 72 75 63 74 | 6f 72 20 70 61 74 74 65 |onstruct|or patte|
|00001b10| 72 6e 3e 20 3a 3a 3d 0a | 20 20 20 20 20 20 20 20 |rn> ::=.| |
|00001b20| 3c 6e 6f 6e 2d 6f 70 65 | 72 61 74 6f 72 20 64 61 |<non-ope|rator da|
|00001b30| 74 61 20 63 6f 6e 73 74 | 72 75 63 74 6f 72 3e 20 |ta const|ructor> |
|00001b40| 3c 70 61 74 74 65 72 6e | 3e 20 7c 0a 20 20 20 20 |<pattern|> |. |
|00001b50| 20 20 20 20 3c 70 72 65 | 66 69 78 20 64 61 74 61 | <pre|fix data|
|00001b60| 20 63 6f 6e 73 74 72 75 | 63 74 6f 72 3e 20 3c 70 | constru|ctor> <p|
|00001b70| 61 74 74 65 72 6e 3e 20 | 7c 0a 20 20 20 20 20 20 |attern> ||. |
|00001b80| 20 20 3c 70 61 74 74 65 | 72 6e 3e 20 3c 69 6e 66 | <patte|rn> <inf|
|00001b90| 69 78 20 64 61 74 61 20 | 63 6f 6e 73 74 72 75 63 |ix data |construc|
|00001ba0| 74 6f 72 3e 20 3c 70 61 | 74 74 65 72 6e 3e 0a 0a |tor> <pa|ttern>..|
|00001bb0| 3c 65 78 70 72 65 73 73 | 69 6f 6e 3e 20 3a 3a 3d |<express|ion> ::=|
|00001bc0| 0a 20 20 20 20 20 20 20 | 20 3c 73 69 6d 70 6c 65 |. | <simple|
|00001bd0| 20 65 78 70 72 65 73 73 | 69 6f 6e 3e 20 7c 0a 20 | express|ion> |. |
|00001be0| 20 20 20 20 20 20 20 3c | 61 70 70 6c 69 63 61 74 | <|applicat|
|00001bf0| 69 6f 6e 20 65 78 70 72 | 65 73 73 69 6f 6e 3e 20 |ion expr|ession> |
|00001c00| 7c 0a 20 20 20 20 20 20 | 20 20 3c 63 6f 6e 64 69 ||. | <condi|
|00001c10| 74 69 6f 6e 61 6c 20 65 | 78 70 72 65 73 73 69 6f |tional e|xpressio|
|00001c20| 6e 3e 20 7c 0a 20 20 20 | 20 20 20 20 20 3c 71 75 |n> |. | <qu|
|00001c30| 61 6c 69 66 69 65 64 20 | 65 78 70 72 65 73 73 69 |alified |expressi|
|00001c40| 6f 6e 3e 20 7c 0a 20 20 | 20 20 20 20 20 20 3c 6c |on> |. | <l|
|00001c50| 61 6d 62 64 61 20 65 78 | 70 72 65 73 73 69 6f 6e |ambda ex|pression|
|00001c60| 3e 20 7c 0a 20 20 20 20 | 20 20 20 20 3c 74 75 70 |> |. | <tup|
|00001c70| 6c 65 20 65 78 70 72 65 | 73 73 69 6f 6e 3e 20 7c |le expre|ssion> ||
|00001c80| 0a 20 20 20 20 20 20 20 | 20 3c 6c 69 73 74 20 65 |. | <list e|
|00001c90| 78 70 72 65 73 73 69 6f | 6e 3e 20 7c 0a 20 20 20 |xpressio|n> |. |
|00001ca0| 20 20 20 20 20 3c 73 65 | 74 20 65 78 70 72 65 73 | <se|t expres|
|00001cb0| 73 69 6f 6e 3e 20 7c 0a | 20 20 20 20 20 20 20 20 |sion> |.| |
|00001cc0| 28 20 3c 65 78 70 72 65 | 73 73 69 6f 6e 3e 20 29 |( <expre|ssion> )|
|00001cd0| 0a 0a 3c 73 69 6d 70 6c | 65 20 65 78 70 72 65 73 |..<simpl|e expres|
|00001ce0| 73 69 6f 6e 3e 20 3a 3a | 3d 0a 20 20 20 20 20 20 |sion> ::|=. |
|00001cf0| 20 20 3c 6c 69 74 65 72 | 61 6c 3e 20 7c 0a 20 20 | <liter|al> |. |
|00001d00| 20 20 20 20 20 20 3c 6e | 6f 6e 2d 6f 70 65 72 61 | <n|on-opera|
|00001d10| 74 6f 72 20 76 61 72 69 | 61 62 6c 65 3e 20 7c 0a |tor vari|able> |.|
|00001d20| 20 20 20 20 20 20 20 20 | 3c 64 61 74 61 20 63 6f | |<data co|
|00001d30| 6e 73 74 61 6e 74 3e 20 | 7c 0a 20 20 20 20 20 20 |nstant> ||. |
|00001d40| 20 20 3c 6e 6f 6e 2d 6f | 70 65 72 61 74 6f 72 20 | <non-o|perator |
|00001d50| 64 61 74 61 20 63 6f 6e | 73 74 72 75 63 74 6f 72 |data con|structor|
|00001d60| 3e 20 7c 0a 20 20 20 20 | 20 20 20 20 3c 6e 6f 6e |> |. | <non|
|00001d70| 2d 6f 70 65 72 61 74 6f | 72 20 64 65 66 69 6e 65 |-operato|r define|
|00001d80| 64 2d 6f 62 6a 65 63 74 | 3e 0a 0a 3c 61 70 70 6c |d-object|>..<appl|
|00001d90| 69 63 61 74 69 6f 6e 20 | 65 78 70 72 65 73 73 69 |ication |expressi|
|00001da0| 6f 6e 3e 20 3a 3a 3d 0a | 20 20 20 20 20 20 20 20 |on> ::=.| |
|00001db0| 3c 65 78 70 72 65 73 73 | 69 6f 6e 3e 20 3c 65 78 |<express|ion> <ex|
|00001dc0| 70 72 65 73 73 69 6f 6e | 3e 20 7c 0a 20 20 20 20 |pression|> |. |
|00001dd0| 20 20 20 20 3c 70 72 65 | 66 69 78 20 6f 70 65 72 | <pre|fix oper|
|00001de0| 61 74 6f 72 3e 20 3c 65 | 78 70 72 65 73 73 69 6f |ator> <e|xpressio|
|00001df0| 6e 3e 20 7c 0a 20 20 20 | 20 20 20 20 20 3c 65 78 |n> |. | <ex|
|00001e00| 70 72 65 73 73 69 6f 6e | 3e 20 3c 69 6e 66 69 78 |pression|> <infix|
|00001e10| 20 6f 70 65 72 61 74 6f | 72 3e 20 3c 65 78 70 72 | operato|r> <expr|
|00001e20| 65 73 73 69 6f 6e 3e 0a | 0a 3c 63 6f 6e 64 69 74 |ession>.|.<condit|
|00001e30| 69 6f 6e 61 6c 20 65 78 | 70 72 65 73 73 69 6f 6e |ional ex|pression|
|00001e40| 3e 20 3a 3a 3d 0a 20 20 | 20 20 20 20 20 20 3c 63 |> ::=. | <c|
|00001e50| 6f 6e 64 20 70 61 69 72 | 3e 20 65 6c 73 65 20 3c |ond pair|> else <|
|00001e60| 65 78 70 72 65 73 73 69 | 6f 6e 3e 0a 0a 3c 63 6f |expressi|on>..<co|
|00001e70| 6e 64 20 70 61 69 72 3e | 20 3a 3a 3d 0a 20 20 20 |nd pair>| ::=. |
|00001e80| 20 20 20 20 20 3c 65 78 | 70 72 65 73 73 69 6f 6e | <ex|pression|
|00001e90| 3e 20 69 66 20 3c 62 6f | 6f 6c 65 61 6e 20 65 78 |> if <bo|olean ex|
|00001ea0| 70 72 65 73 73 69 6f 6e | 3e 20 7c 0a 20 20 20 20 |pression|> |. |
|00001eb0| 20 20 20 20 3c 62 6f 6f | 6c 65 61 6e 20 65 78 70 | <boo|lean exp|
|00001ec0| 72 65 73 73 69 6f 6e 3e | 20 74 68 65 6e 20 3c 65 |ression>| then <e|
|00001ed0| 78 70 72 65 73 73 69 6f | 6e 3e 20 7c 0a 20 20 20 |xpressio|n> |. |
|00001ee0| 20 20 20 20 20 69 66 20 | 3c 62 6f 6f 6c 65 61 6e | if |<boolean|
|00001ef0| 20 65 78 70 72 65 73 73 | 69 6f 6e 3e 20 74 68 65 | express|ion> the|
|00001f00| 6e 20 3c 65 78 70 72 65 | 73 73 69 6f 6e 3e 0a 0a |n <expre|ssion>..|
|00001f10| 3c 62 6f 6f 6c 65 61 6e | 20 65 78 70 72 65 73 73 |<boolean| express|
|00001f20| 69 6f 6e 3e 20 3a 3a 3d | 0a 20 20 20 20 20 20 20 |ion> ::=|. |
|00001f30| 20 3c 65 78 70 72 65 73 | 73 69 6f 6e 3e 0a 0a 3c | <expres|sion>..<|
|00001f40| 71 75 61 6c 69 66 69 65 | 64 20 65 78 70 72 65 73 |qualifie|d expres|
|00001f50| 73 69 6f 6e 3e 20 3a 3a | 3d 0a 20 20 20 20 20 20 |sion> ::|=. |
|00001f60| 20 20 6c 65 74 20 3c 70 | 61 74 74 65 72 6e 3e 20 | let <p|attern> |
|00001f70| 3d 3d 20 3c 65 78 70 72 | 65 73 73 69 6f 6e 3e 20 |== <expr|ession> |
|00001f80| 69 6e 20 3c 65 78 70 72 | 65 73 73 69 6f 6e 3e 20 |in <expr|ession> |
|00001f90| 7c 0a 20 20 20 20 20 20 | 20 20 3c 65 78 70 72 65 ||. | <expre|
|00001fa0| 73 73 69 6f 6e 3e 20 77 | 68 65 72 65 20 3c 70 61 |ssion> w|here <pa|
|00001fb0| 74 74 65 72 6e 3e 20 3d | 3d 20 3c 65 78 70 72 65 |ttern> =|= <expre|
|00001fc0| 73 73 69 6f 6e 3e 0a 0a | 3c 6c 61 6d 62 64 61 20 |ssion>..|<lambda |
|00001fd0| 65 78 70 72 65 73 73 69 | 6f 6e 3e 20 3a 3a 3d 0a |expressi|on> ::=.|
|00001fe0| 20 20 20 20 20 20 20 20 | 3c 6c 61 6d 62 64 61 20 | |<lambda |
|00001ff0| 6d 61 72 6b 3e 20 3c 6c | 61 6d 62 64 61 20 72 75 |mark> <l|ambda ru|
|00002000| 6c 65 3e 20 7c 20 2e 2e | 31 2e 2e 20 3c 6c 61 6d |le> | ..|1.. <lam|
|00002010| 62 64 61 20 72 75 6c 65 | 3e 0a 0a 3c 6c 61 6d 62 |bda rule|>..<lamb|
|00002020| 64 61 20 72 75 6c 65 3e | 20 3a 3a 3d 0a 20 20 20 |da rule>| ::=. |
|00002030| 20 20 20 20 20 3c 70 61 | 74 74 65 72 6e 3e 20 3d | <pa|ttern> =|
|00002040| 3e 20 3c 65 78 70 72 65 | 73 73 69 6f 6e 3e 0a 0a |> <expre|ssion>..|
|00002050| 3c 6c 61 6d 62 64 61 20 | 6d 61 72 6b 20 3e 20 3a |<lambda |mark > :|
|00002060| 3a 20 3d 0a 20 20 20 20 | 20 20 20 20 6c 61 6d 62 |: =. | lamb|
|00002070| 64 61 0a 0a 3c 74 75 70 | 6c 65 20 65 78 70 72 65 |da..<tup|le expre|
|00002080| 73 73 69 6f 6e 3e 20 3a | 3a 3d 0a 20 20 20 20 20 |ssion> :|:=. |
|00002090| 20 20 20 3c 65 78 70 72 | 65 73 73 69 6f 6e 3e 20 | <expr|ession> |
|000020a0| 2c 20 2e 2e 30 2e 2e 20 | 3c 65 78 70 72 65 73 73 |, ..0.. |<express|
|000020b0| 69 6f 6e 3e 20 7c 0a 20 | 20 20 20 20 20 20 20 28 |ion> |. | (|
|000020c0| 20 29 0a 3c 6c 69 73 74 | 20 65 78 70 72 65 73 73 | ).<list| express|
|000020d0| 69 6f 6e 3e 20 3a 3a 3d | 0a 20 20 20 20 20 20 20 |ion> ::=|. |
|000020e0| 20 5b 20 3c 65 78 70 72 | 65 73 73 69 6f 6e 3e 20 | [ <expr|ession> |
|000020f0| 2c 20 2e 2e 30 2e 2e 20 | 3c 65 78 70 72 65 73 73 |, ..0.. |<express|
|00002100| 69 6f 6e 3e 20 5d 0a 0a | 3c 73 65 74 20 65 78 70 |ion> ]..|<set exp|
|00002110| 72 65 73 73 69 6f 6e 3e | 20 3a 3a 3d 0a 20 20 20 |ression>| ::=. |
|00002120| 20 20 20 20 20 7b 20 3c | 65 78 70 72 65 73 73 69 | { <|expressi|
|00002130| 6f 6e 3e 20 2c 20 2e 2e | 30 2e 2e 20 3c 65 78 70 |on> , ..|0.. <exp|
|00002140| 72 65 73 73 69 6f 6e 3e | 20 7d 0a 0a 3c 6e 6f 6e |ression>| }..<non|
|00002150| 2d 6f 70 65 72 61 74 6f | 72 20 74 79 70 65 20 63 |-operato|r type c|
|00002160| 6f 6e 73 74 72 75 63 74 | 6f 72 3e 20 3a 3a 3d 0a |onstruct|or> ::=.|
|00002170| 20 20 20 20 20 20 20 20 | 3c 6e 6f 6e 2d 6f 70 65 | |<non-ope|
|00002180| 72 61 74 6f 72 20 69 64 | 65 6e 74 69 66 69 65 72 |rator id|entifier|
|00002190| 20 70 68 72 61 73 65 3e | 0a 0a 3c 70 72 65 66 69 | phrase>|..<prefi|
|000021a0| 78 20 74 79 70 65 20 63 | 6f 6e 73 74 72 75 63 74 |x type c|onstruct|
|000021b0| 6f 72 3e 20 3a 3a 3d 0a | 20 20 20 20 20 20 20 20 |or> ::=.| |
|000021c0| 3c 70 72 65 66 69 78 20 | 69 64 65 6e 74 69 66 69 |<prefix |identifi|
|000021d0| 65 72 3e 0a 0a 3c 69 6e | 66 69 78 20 74 79 70 65 |er>..<in|fix type|
|000021e0| 20 63 6f 6e 73 74 72 75 | 63 74 6f 72 3e 20 3a 3a | constru|ctor> ::|
|000021f0| 3d 0a 20 20 20 20 20 20 | 20 20 3c 69 6e 66 69 78 |=. | <infix|
|00002200| 20 69 64 65 6e 74 69 66 | 69 65 72 3e 0a 0a 3c 74 | identif|ier>..<t|
|00002210| 79 70 65 20 63 6f 6e 73 | 74 61 6e 74 3e 20 3a 3a |ype cons|tant> ::|
|00002220| 3d 0a 20 20 20 20 20 20 | 20 20 3c 6e 6f 6e 2d 6f |=. | <non-o|
|00002230| 70 65 72 61 74 6f 72 20 | 69 64 65 6e 74 69 66 69 |perator |identifi|
|00002240| 65 72 3e 0a 0a 3c 74 79 | 70 65 20 76 61 72 69 61 |er>..<ty|pe varia|
|00002250| 62 6c 65 3e 20 3a 3a 3d | 0a 20 20 20 20 20 20 20 |ble> ::=|. |
|00002260| 20 3c 6e 6f 6e 2d 6f 70 | 65 72 61 74 6f 72 20 69 | <non-op|erator i|
|00002270| 64 65 6e 74 69 66 69 65 | 72 3e 0a 0a 3c 70 72 65 |dentifie|r>..<pre|
|00002280| 66 69 78 20 6f 70 65 72 | 61 74 6f 72 3e 20 3a 3a |fix oper|ator> ::|
|00002290| 3d 0a 20 20 20 20 20 20 | 20 20 3c 70 72 65 66 69 |=. | <prefi|
|000022a0| 78 20 64 61 74 61 20 63 | 6f 6e 73 74 72 75 63 74 |x data c|onstruct|
|000022b0| 6f 72 3e 20 7c 0a 20 20 | 20 20 20 20 20 20 3c 70 |or> |. | <p|
|000022c0| 72 65 66 69 78 20 64 65 | 66 69 6e 65 64 2d 6f 62 |refix de|fined-ob|
|000022d0| 6a 65 63 74 3e 20 7c 0a | 20 20 20 20 20 20 20 20 |ject> |.| |
|000022e0| 3c 70 72 65 66 69 78 20 | 76 61 72 69 61 62 6c 65 |<prefix |variable|
|000022f0| 3e 0a 0a 3c 69 6e 66 69 | 78 20 6f 70 65 72 61 74 |>..<infi|x operat|
|00002300| 6f 72 3e 20 3a 3a 3d 0a | 20 20 20 20 20 20 20 20 |or> ::=.| |
|00002310| 3c 69 6e 66 69 78 20 64 | 61 74 61 20 63 6f 6e 73 |<infix d|ata cons|
|00002320| 74 72 75 63 74 6f 72 3e | 20 7c 0a 20 20 20 20 20 |tructor>| |. |
|00002330| 20 20 20 3c 69 6e 66 69 | 78 20 64 65 66 69 6e 65 | <infi|x define|
|00002340| 64 2d 6f 62 6a 65 63 74 | 3e 20 7c 0a 20 20 20 20 |d-object|> |. |
|00002350| 20 20 20 20 3c 69 6e 66 | 69 78 20 76 61 72 69 61 | <inf|ix varia|
|00002360| 62 6c 65 3e 0a 0a 3c 6e | 6f 6e 2d 6f 70 65 72 61 |ble>..<n|on-opera|
|00002370| 74 6f 72 20 64 61 74 61 | 20 63 6f 6e 73 74 72 75 |tor data| constru|
|00002380| 63 74 6f 72 3e 20 3a 3a | 3d 0a 20 20 20 20 20 20 |ctor> ::|=. |
|00002390| 20 20 3c 6e 6f 6e 2d 6f | 70 65 72 61 74 6f 72 20 | <non-o|perator |
|000023a0| 69 64 65 6e 74 69 66 69 | 65 72 20 70 68 72 61 73 |identifi|er phras|
|000023b0| 65 3e 0a 0a 3c 70 72 65 | 66 69 78 20 64 61 74 61 |e>..<pre|fix data|
|000023c0| 20 63 6f 6e 73 74 72 75 | 63 74 6f 72 3e 20 3a 3a | constru|ctor> ::|
|000023d0| 3d 0a 20 20 20 20 20 20 | 20 20 3c 70 72 65 66 69 |=. | <prefi|
|000023e0| 78 20 69 64 65 6e 74 69 | 66 69 65 72 3e 0a 0a 3c |x identi|fier>..<|
|000023f0| 69 6e 66 69 78 20 64 61 | 74 61 20 63 6f 6e 73 74 |infix da|ta const|
|00002400| 72 75 63 74 6f 72 3e 20 | 3a 3a 3d 0a 20 20 20 20 |ructor> |::=. |
|00002410| 20 20 20 20 3c 69 6e 66 | 69 78 20 69 64 65 6e 74 | <inf|ix ident|
|00002420| 69 66 69 65 72 3e 0a 0a | 3c 64 61 74 61 20 63 6f |ifier>..|<data co|
|00002430| 6e 73 74 61 6e 74 3e 20 | 3a 3a 3d 0a 20 20 20 20 |nstant> |::=. |
|00002440| 20 20 20 20 3c 6e 6f 6e | 2d 6f 70 65 72 61 74 6f | <non|-operato|
|00002450| 72 20 69 64 65 6e 74 69 | 66 69 65 72 3e 0a 0a 3c |r identi|fier>..<|
|00002460| 6e 6f 6e 2d 6f 70 65 72 | 61 74 6f 72 20 64 65 66 |non-oper|ator def|
|00002470| 69 6e 65 64 2d 6f 62 6a | 65 63 74 3e 20 3a 3a 3d |ined-obj|ect> ::=|
|00002480| 0a 20 20 20 20 20 20 20 | 20 3c 6e 6f 6e 2d 6f 70 |. | <non-op|
|00002490| 65 72 61 74 6f 72 20 69 | 64 65 6e 74 69 66 69 65 |erator i|dentifie|
|000024a0| 72 20 70 68 72 61 73 65 | 3e 0a 0a 3c 70 72 65 66 |r phrase|>..<pref|
|000024b0| 69 78 20 64 65 66 69 6e | 65 64 2d 6f 62 6a 65 63 |ix defin|ed-objec|
|000024c0| 74 3e 20 3a 3a 3d 0a 20 | 20 20 20 20 20 20 20 3c |t> ::=. | <|
|000024d0| 70 72 65 66 69 78 20 69 | 64 65 6e 74 69 66 69 65 |prefix i|dentifie|
|000024e0| 72 3e 0a 0a 3c 69 6e 66 | 69 78 20 64 65 66 69 6e |r>..<inf|ix defin|
|000024f0| 65 64 2d 6f 62 6a 65 63 | 74 3e 20 3a 3a 3d 0a 20 |ed-objec|t> ::=. |
|00002500| 20 20 20 20 20 20 20 3c | 69 6e 66 69 78 20 69 64 | <|infix id|
|00002510| 65 6e 74 69 66 69 65 72 | 3e 0a 0a 3c 6d 6f 64 75 |entifier|>..<modu|
|00002520| 6c 65 20 6e 61 6d 65 3e | 20 3a 3a 3d 0a 20 20 20 |le name>| ::=. |
|00002530| 20 20 20 20 20 3c 69 64 | 65 6e 74 69 66 69 65 72 | <id|entifier|
|00002540| 3e 0a 0a 3c 66 69 6c 65 | 20 6e 61 6d 65 3e 20 3a |>..<file| name> :|
|00002550| 3a 3d 0a 20 20 20 20 20 | 20 20 20 3c 61 6c 70 68 |:=. | <alph|
|00002560| 61 6e 75 6d 65 72 69 63 | 20 69 64 65 6e 74 69 66 |anumeric| identif|
|00002570| 69 65 72 3e 20 7c 0a 20 | 20 20 20 20 20 20 20 22 |ier> |. | "|
|00002580| 3c 73 79 73 74 65 6d 20 | 66 69 6c 65 20 69 64 65 |<system |file ide|
|00002590| 6e 74 69 66 69 65 72 3e | 22 0a 0a 6f 70 65 72 61 |ntifier>|"..opera|
|000025a0| 74 6f 72 20 69 64 65 6e | 74 69 66 69 65 72 20 70 |tor iden|tifier p|
|000025b0| 68 72 61 73 65 3e 20 3a | 3a 3d 0a 20 20 20 20 20 |hrase> :|:=. |
|000025c0| 20 20 20 3c 6e 6f 6e 2d | 6f 70 65 72 61 74 6f 72 | <non-|operator|
|000025d0| 20 69 64 65 6e 74 69 66 | 69 65 72 3e 20 7c 0a 20 | identif|ier> |. |
|000025e0| 20 20 20 20 20 20 20 6e | 6f 6e 6f 70 20 3c 6f 70 | n|onop <op|
|000025f0| 65 72 61 74 6f 72 20 69 | 64 65 6e 74 69 66 69 65 |erator i|dentifie|
|00002600| 72 3e 0a 0a 3c 6e 6f 6e | 2d 6f 70 65 72 61 74 6f |r>..<non|-operato|
|00002610| 72 20 69 64 65 6e 74 69 | 66 69 65 72 3e 20 3a 3a |r identi|fier> ::|
|00002620| 3d 0a 20 20 20 20 20 20 | 20 20 3c 69 64 65 6e 74 |=. | <ident|
|00002630| 69 66 69 65 72 3e 0a 0a | 3c 6f 70 65 72 61 74 6f |ifier>..|<operato|
|00002640| 72 20 69 64 65 6e 74 69 | 66 69 65 72 3e 20 3a 3a |r identi|fier> ::|
|00002650| 3d 0a 20 20 20 20 20 20 | 20 20 3c 70 72 65 66 69 |=. | <prefi|
|00002660| 78 20 69 64 65 6e 74 69 | 66 69 65 72 3e 20 7c 0a |x identi|fier> |.|
|00002670| 20 20 20 20 20 20 20 20 | 3c 69 6e 66 69 78 20 69 | |<infix i|
|00002680| 64 65 6e 74 69 66 69 65 | 72 3e 0a 0a 3c 70 72 65 |dentifie|r>..<pre|
|00002690| 66 69 78 20 69 64 65 6e | 74 69 66 69 65 72 3e 20 |fix iden|tifier> |
|000026a0| 3a 3a 3d 0a 20 20 20 20 | 20 20 20 20 3c 69 64 65 |::=. | <ide|
|000026b0| 6e 74 69 66 69 65 72 3e | 0a 0a 3c 69 6e 66 69 78 |ntifier>|..<infix|
|000026c0| 20 69 64 65 6e 74 69 66 | 69 65 72 3e 20 3a 3a 3d | identif|ier> ::=|
|000026d0| 0a 20 20 20 20 20 20 20 | 20 3c 69 64 65 6e 74 69 |. | <identi|
|000026e0| 66 69 65 72 3e 0a 0a 3c | 6c 69 74 65 72 61 6c 3e |fier>..<|literal>|
|000026f0| 20 3a 3a 3d 0a 20 20 20 | 20 20 20 20 20 3c 6e 61 | ::=. | <na|
|00002700| 74 75 72 61 6c 20 6e 75 | 6d 62 65 72 20 6c 69 74 |tural nu|mber lit|
|00002710| 65 72 61 6c 3e 20 7c 0a | 20 20 20 20 20 20 20 20 |eral> |.| |
|00002720| 3c 62 6f 6f 6c 65 61 6e | 20 6c 69 74 65 72 61 6c |<boolean| literal|
|00002730| 3e 20 7c 0a 20 20 20 20 | 20 20 20 20 3c 63 68 61 |> |. | <cha|
|00002740| 72 61 63 74 65 72 20 6c | 69 74 65 72 61 6c 3e 20 |racter l|iteral> |
|00002750| 7c 0a 20 20 20 20 20 20 | 20 20 3c 63 68 61 72 61 ||. | <chara|
|00002760| 63 74 65 72 20 6c 69 73 | 74 20 6c 69 74 65 72 61 |cter lis|t litera|
|00002770| 6c 3e 0a 0a 3c 6e 61 74 | 75 72 61 6c 20 6e 75 6d |l>..<nat|ural num|
|00002780| 62 65 72 20 6c 69 74 65 | 72 61 6c 3e 20 3a 3a 3d |ber lite|ral> ::=|
|00002790| 0a 20 20 20 20 20 20 20 | 20 3c 6e 61 74 75 72 61 |. | <natura|
|000027a0| 6c 20 6e 75 6d 62 65 72 | 3e 0a 0a 3c 62 6f 6f 6c |l number|>..<bool|
|000027b0| 65 61 6e 20 6c 69 74 65 | 72 61 6c 3e 20 3a 3a 3d |ean lite|ral> ::=|
|000027c0| 0a 20 20 20 20 20 20 20 | 20 74 72 75 65 20 7c 0a |. | true |.|
|000027d0| 20 20 20 20 20 20 20 20 | 66 61 6c 73 65 0a 0a 3c | |false..<|
|000027e0| 63 68 61 72 61 63 74 65 | 72 20 6c 69 74 65 72 61 |characte|r litera|
|000027f0| 6c 3e 20 3a 3a 3d 0a 20 | 20 20 20 20 20 20 20 27 |l> ::=. | '|
|00002800| 3c 61 6e 79 20 41 53 43 | 49 49 20 63 68 61 72 61 |<any ASC|II chara|
|00002810| 63 74 65 72 3e 27 20 7c | 0a 20 20 20 20 20 20 20 |cter>' ||. |
|00002820| 20 63 72 6c 66 0a 0a 3c | 63 68 61 72 61 63 74 65 | crlf..<|characte|
|00002830| 72 20 6c 69 73 74 20 6c | 69 74 65 72 61 6c 3e 20 |r list l|iteral> |
|00002840| 3a 3a 3d 0a 20 20 20 20 | 20 20 20 20 22 3c 61 6e |::=. | "<an|
|00002850| 79 20 41 53 43 49 49 20 | 63 68 61 72 61 63 74 65 |y ASCII |characte|
|00002860| 72 20 28 65 78 63 65 70 | 74 20 75 73 65 20 20 5c |r (excep|t use \|
|00002870| 6e 20 74 6f 20 64 65 6e | 6f 74 65 20 63 72 6c 66 |n to den|ote crlf|
|00002880| 3b 20 75 73 65 20 5c 5c | 20 74 6f 20 64 65 6e 6f |; use \\| to deno|
|00002890| 74 65 20 5c 27 3e 22 0a | 0a 3c 63 6f 6d 6d 65 6e |te \'>".|.<commen|
|000028a0| 74 3e 20 3a 3a 3d 0a 20 | 20 20 20 20 20 20 20 21 |t> ::=. | !|
|000028b0| 20 3c 61 6e 79 20 73 65 | 71 75 65 6e 63 65 20 6f | <any se|quence o|
|000028c0| 66 20 70 72 69 6e 74 61 | 62 6c 65 20 41 53 43 49 |f printa|ble ASCI|
|000028d0| 49 20 63 68 61 72 61 63 | 74 65 72 73 20 74 65 72 |I charac|ters ter|
|000028e0| 6d 69 6e 61 74 65 64 20 | 62 79 20 21 20 6f 72 20 |minated |by ! or |
|000028f0| 74 68 65 20 65 6e 64 20 | 6f 66 20 6c 69 6e 65 3e |the end |of line>|
|00002900| 0a 0a 3c 6e 6f 6e 2d 6b | 65 79 77 6f 72 64 20 74 |..<non-k|eyword t|
|00002910| 65 78 74 20 69 74 65 6d | 3e 20 3a 3a 3d 0a 20 20 |ext item|> ::=. |
|00002920| 20 20 20 20 20 20 3c 61 | 6e 79 20 3c 74 65 78 74 | <a|ny <text|
|00002930| 20 69 74 65 6d 3e 20 74 | 68 61 74 20 69 73 20 6e | item> t|hat is n|
|00002940| 6f 74 20 61 20 3c 6b 65 | 79 77 6f 72 64 3e 3e 0a |ot a <ke|yword>>.|
|00002950| 0a 3c 6b 65 79 77 6f 72 | 64 3e 20 3a 3a 3d 0a 20 |.<keywor|d> ::=. |
|00002960| 20 20 20 20 20 20 20 6d | 6f 64 75 6c 65 20 7c 20 | m|odule | |
|00002970| 65 6e 64 20 7c 20 69 6e | 66 69 78 20 7c 20 70 72 |end | in|fix | pr|
|00002980| 65 66 69 78 20 7c 0a 20 | 20 20 20 20 20 20 20 70 |efix |. | p|
|00002990| 75 62 74 79 70 65 20 7c | 20 70 75 62 63 6f 6e 73 |ubtype || pubcons|
|000029a0| 74 20 20 7c 20 75 73 65 | 73 20 7c 0a 20 20 20 20 |t | use|s |. |
|000029b0| 20 20 20 20 74 79 70 65 | 76 61 72 20 7c 20 64 65 | type|var | de|
|000029c0| 63 20 7c 20 76 61 72 20 | 7c 20 64 61 74 61 20 7c |c | var || data ||
|000029d0| 20 74 79 70 65 20 7c 20 | 2d 2d 2d 20 7c 20 6c 65 | type | |--- | le|
|000029e0| 74 20 20 7c 0a 20 20 20 | 20 20 20 20 20 65 78 69 |t |. | exi|
|000029f0| 74 20 20 7c 20 65 63 68 | 6f 20 20 7c 20 74 72 61 |t | ech|o | tra|
|00002a00| 63 65 20 20 7c 20 6e 6f | 74 72 61 63 65 20 7c 20 |ce | no|trace | |
|00002a10| 6c 6f 61 64 20 7c 20 64 | 69 73 70 6c 61 79 20 7c |load | d|isplay ||
|00002a20| 20 73 79 73 74 65 6d 0a | 0a 3c 74 65 78 74 20 69 | system.|.<text i|
|00002a30| 74 65 6d 3e 20 3a 3a 3d | 0a 20 20 20 20 20 20 20 |tem> ::=|. |
|00002a40| 20 3c 69 64 65 6e 74 69 | 66 69 65 72 3e 20 7c 0a | <identi|fier> |.|
|00002a50| 20 20 20 20 20 20 20 20 | 3c 6e 61 74 75 72 61 6c | |<natural|
|00002a60| 20 6e 75 6d 62 65 72 3e | 20 7c 0a 20 20 20 20 20 | number>| |. |
|00002a70| 20 20 20 3c 70 75 6e 63 | 74 75 61 74 69 6f 6e 20 | <punc|tuation |
|00002a80| 73 69 67 6e 3e 0a 0a 3c | 69 64 65 6e 74 69 66 69 |sign>..<|identifi|
|00002a90| 65 72 3e 20 3a 3a 3d 0a | 20 20 20 20 20 20 20 20 |er> ::=.| |
|00002aa0| 3c 61 6c 70 68 61 6e 75 | 6d 65 72 69 63 20 69 64 |<alphanu|meric id|
|00002ab0| 65 6e 74 69 66 69 65 72 | 3e 20 7c 0a 20 20 20 20 |entifier|> |. |
|00002ac0| 20 20 20 20 3c 63 6f 6d | 70 6f 75 6e 64 20 73 69 | <com|pound si|
|00002ad0| 67 6e 20 69 64 65 6e 74 | 69 66 69 65 72 3e 0a 0a |gn ident|ifier>..|
|00002ae0| 3c 61 6c 70 68 61 6e 75 | 6d 65 72 69 63 20 69 64 |<alphanu|meric id|
|00002af0| 65 6e 74 69 66 69 65 72 | 3e 20 3a 3a 3d 0a 20 20 |entifier|> ::=. |
|00002b00| 20 20 20 20 20 20 3c 6c | 65 74 74 65 72 3e 20 3c | <l|etter> <|
|00002b10| 61 6c 70 68 61 6e 75 6d | 65 72 69 63 20 2a 3f 3e |alphanum|eric *?>|
|00002b20| 0a 0a 3c 63 6f 6d 70 6f | 75 6e 64 20 73 69 67 6e |..<compo|und sign|
|00002b30| 20 69 64 65 6e 74 69 66 | 69 65 72 3e 20 3a 3a 3d | identif|ier> ::=|
|00002b40| 0a 20 20 20 20 20 20 20 | 20 3c 63 6f 6d 70 6f 75 |. | <compou|
|00002b50| 6e 64 61 62 6c 65 20 73 | 69 67 6e 20 2a 3e 0a 0a |ndable s|ign *>..|
|00002b60| 3c 6e 61 74 75 72 61 6c | 20 6e 75 6d 62 65 72 3e |<natural| number>|
|00002b70| 20 3a 3a 3d 0a 20 20 20 | 20 20 20 20 20 3c 64 69 | ::=. | <di|
|00002b80| 67 69 74 20 2a 3e 0a 0a | 3c 61 6c 70 68 61 6e 75 |git *>..|<alphanu|
|00002b90| 6d 65 72 69 63 3e 20 3a | 3a 3d 0a 20 20 20 20 20 |meric> :|:=. |
|00002ba0| 20 20 20 3c 6c 65 74 74 | 65 72 3e 20 7c 0a 20 20 | <lett|er> |. |
|00002bb0| 20 20 20 20 20 20 3c 64 | 69 67 69 74 3e 0a 0a 3c | <d|igit>..<|
|00002bc0| 6c 65 74 74 65 72 3e 20 | 3a 3a 3d 0a 20 20 20 20 |letter> |::=. |
|00002bd0| 20 20 20 20 41 20 2e 2e | 20 5a 20 7c 0a 20 20 20 | A ..| Z |. |
|00002be0| 20 20 20 20 20 61 20 2e | 2e 20 7a 20 7c 0a 20 20 | a .|. z |. |
|00002bf0| 20 20 20 20 20 20 5f 0a | 0a 3c 64 69 67 69 74 3e | _.|.<digit>|
|00002c00| 20 3a 3a 3d 0a 20 20 20 | 20 20 20 20 20 30 20 2e | ::=. | 0 .|
|00002c10| 2e 20 39 0a 0a 3c 63 6f | 6d 70 6f 75 6e 64 61 62 |. 9..<co|mpoundab|
|00002c20| 6c 65 20 73 69 67 6e 3e | 20 3a 3a 3d 0a 20 20 20 |le sign>| ::=. |
|00002c30| 20 20 20 20 20 23 20 20 | 7c 20 20 24 20 20 7c 20 | # || $ | |
|00002c40| 20 7c 20 20 7c 20 20 26 | 20 20 7c 20 20 2a 20 20 | | | &| | * |
|00002c50| 7c 20 20 2b 20 20 7c 20 | 20 2d 20 20 7c 20 20 2e || + | | - | .|
|00002c60| 20 20 7c 20 20 2f 20 20 | 7c 20 20 3a 20 20 7c 20 | | / || : | |
|00002c70| 20 3c 20 20 7c 20 20 3d | 20 20 7c 20 20 3e 20 20 | < | =| | > |
|00002c80| 7c 20 20 3f 20 20 7c 20 | 20 5c 0a 0a 3c 70 75 6e || ? | | \..<pun|
|00002c90| 63 74 75 61 74 69 6f 6e | 20 73 69 67 6e 3e 20 3a |ctuation| sign> :|
|00002ca0| 3a 3d 0a 20 20 20 20 20 | 20 20 20 28 20 20 7c 20 |:=. | ( | |
|00002cb0| 20 29 20 20 7c 20 20 2c | 20 20 7c 20 20 3b 20 20 | ) | ,| | ; |
|00002cc0| 7c 20 20 5b 20 20 7c 20 | 20 5d 20 20 7c 20 20 7b || [ | | ] | {|
|00002cd0| 20 20 7c 20 20 7d 0a 00 | 00 00 00 00 00 00 00 00 | | }..|........|
|00002ce0| 00 00 00 00 00 00 00 00 | 00 00 00 00 00 00 00 00 |........|........|
|00002cf0| 00 00 00 00 00 00 00 00 | 00 00 00 00 00 00 00 00 |........|........|
|00002d00| 00 00 00 00 00 00 00 00 | 00 00 00 00 00 00 00 00 |........|........|
|00002d10| 00 00 00 00 00 00 00 00 | 00 00 00 00 00 00 00 00 |........|........|
|00002d20| 00 00 00 00 00 00 00 00 | 00 00 00 00 00 00 00 00 |........|........|
|00002d30| 00 00 00 00 00 00 00 00 | 00 00 00 00 00 00 00 00 |........|........|
|00002d40| 00 00 00 00 00 00 00 00 | 00 00 00 00 00 00 00 00 |........|........|
|00002d50| 00 00 00 00 00 00 00 00 | 00 00 00 00 00 00 00 00 |........|........|
|00002d60| 00 00 00 00 00 00 00 00 | 00 00 00 00 00 00 00 00 |........|........|
|00002d70| 00 00 00 00 00 00 00 00 | 00 00 00 00 00 00 00 00 |........|........|
|00002d80| 00 00 00 00 00 00 00 00 | 00 00 00 00 00 00 00 00 |........|........|
|00002d90| 00 00 00 00 00 00 00 00 | 00 00 00 00 00 00 00 00 |........|........|
|00002da0| 00 00 00 00 00 00 00 00 | 00 00 00 00 00 00 00 00 |........|........|
|00002db0| 00 00 00 00 00 00 00 00 | 00 00 00 00 00 00 00 00 |........|........|
|00002dc0| 00 00 00 00 00 00 00 00 | 00 00 00 00 00 00 00 00 |........|........|
|00002dd0| 00 00 00 00 00 00 00 00 | 00 00 00 00 00 00 00 00 |........|........|
|00002de0| 00 00 00 00 00 00 00 00 | 00 00 00 00 00 00 00 00 |........|........|
|00002df0| 00 00 00 00 00 00 00 00 | 00 00 00 00 00 00 00 00 |........|........|
|00002e00| 5f 66 69 6c 65 73 2f 5f | 44 6f 63 75 6d 65 6e 74 |_files/_|Document|
|00002e10| 73 2f 48 6f 70 65 41 72 | 63 68 69 65 00 00 00 00 |s/HopeAr|chie....|
|00002e20| 00 00 00 00 00 00 00 00 | 00 00 00 00 00 00 00 00 |........|........|
|00002e30| 00 00 00 00 00 00 00 00 | 00 00 00 00 00 00 00 00 |........|........|
|00002e40| 00 00 00 00 00 00 00 00 | 00 00 00 00 00 00 00 00 |........|........|
|00002e50| 00 00 00 00 00 00 00 00 | 00 00 00 00 00 00 00 00 |........|........|
|00002e60| 00 00 00 00 20 20 20 36 | 30 30 00 00 20 20 20 20 |.... 6|00.. |
|00002e70| 20 30 00 00 20 20 20 20 | 20 30 00 00 20 20 20 20 | 0.. | 0.. |
|00002e80| 20 20 34 36 32 35 33 00 | 20 34 35 34 33 35 35 33 | 46253.| 4543553|
|00002e90| 36 35 36 00 20 31 32 30 | 30 31 00 20 30 00 00 00 |656. 120|01. 0...|
|00002ea0| 00 00 00 00 00 00 00 00 | 00 00 00 00 00 00 00 00 |........|........|
|00002eb0| 00 00 00 00 00 00 00 00 | 00 00 00 00 00 00 00 00 |........|........|
|00002ec0| 00 00 00 00 00 00 00 00 | 00 00 00 00 00 00 00 00 |........|........|
|00002ed0| 00 00 00 00 00 00 00 00 | 00 00 00 00 00 00 00 00 |........|........|
|00002ee0| 00 00 00 00 00 00 00 00 | 00 00 00 00 00 00 00 00 |........|........|
|00002ef0| 00 00 00 00 00 00 00 00 | 00 00 00 00 00 00 00 00 |........|........|
|00002f00| 00 00 00 00 00 00 00 00 | 00 00 00 00 00 00 00 00 |........|........|
|00002f10| 00 00 00 00 00 00 00 00 | 00 00 00 00 00 00 00 00 |........|........|
|00002f20| 00 00 00 00 00 00 00 00 | 00 00 00 00 00 00 00 00 |........|........|
|00002f30| 00 00 00 00 00 00 00 00 | 00 20 20 20 20 20 20 20 |........|. |
|00002f40| 20 20 20 30 20 00 00 00 | 00 00 00 00 00 00 00 00 | 0 ...|........|
|00002f50| 00 00 00 00 00 00 00 00 | 00 00 00 00 00 00 00 00 |........|........|
|00002f60| 00 00 00 00 00 00 00 00 | 00 00 00 00 00 00 00 00 |........|........|
|00002f70| 00 00 00 00 00 00 00 00 | 00 00 00 00 00 00 00 00 |........|........|
|00002f80| 00 00 00 00 00 00 00 00 | 00 00 00 00 00 00 00 00 |........|........|
|00002f90| 00 00 00 00 00 00 00 00 | 00 00 00 00 00 00 00 00 |........|........|
|00002fa0| 00 00 00 00 00 00 00 00 | 00 00 00 00 00 00 00 00 |........|........|
|00002fb0| 00 00 00 00 00 00 00 00 | 00 00 00 00 00 00 00 00 |........|........|
|00002fc0| 00 00 00 00 00 00 00 00 | 00 00 00 00 00 00 00 00 |........|........|
|00002fd0| 00 00 00 00 00 00 00 00 | 00 00 00 00 00 00 00 00 |........|........|
|00002fe0| 00 00 00 00 00 00 00 00 | 00 00 00 00 00 00 00 00 |........|........|
|00002ff0| 00 00 00 00 00 00 00 00 | 00 00 00 00 00 00 00 00 |........|........|
|00003000| 0a 0a 0a 0a 20 20 20 20 | 20 20 20 20 20 20 55 20 |.... | U |
|00003010| 53 20 49 20 4e 20 47 20 | 20 20 49 20 43 20 2d 20 |S I N G | I C - |
|00003020| 48 20 4f 20 50 20 45 20 | 20 20 4f 20 4e 20 20 20 |H O P E | O N |
|00003030| 54 20 48 20 45 20 20 20 | 41 20 52 20 43 20 48 20 |T H E |A R C H |
|00003040| 49 20 4d 20 45 20 44 20 | 45 20 53 0a 0a 0a 0a 0a |I M E D |E S.....|
|00003050| 20 20 20 20 31 2e 20 20 | 20 49 6e 74 72 6f 64 75 | 1. | Introdu|
|00003060| 63 74 69 6f 6e 20 61 6e | 64 20 64 69 73 63 6c 61 |ction an|d discla|
|00003070| 69 6d 65 72 0a 0a 20 20 | 20 20 54 68 65 20 49 6d |imer.. | The Im|
|00003080| 70 65 72 69 61 6c 20 43 | 6f 6c 6c 65 67 65 20 48 |perial C|ollege H|
|00003090| 4f 50 45 20 69 6e 74 65 | 72 70 72 65 74 65 72 20 |OPE inte|rpreter |
|000030a0| 28 49 43 2d 48 4f 50 45 | 29 20 69 73 20 20 61 6e |(IC-HOPE|) is an|
|000030b0| 20 20 65 78 70 65 72 69 | 6d 65 6e 74 61 6c 20 20 | experi|mental |
|000030c0| 74 6f 6f 6c 0a 20 20 20 | 20 6f 72 69 67 69 6e 61 |tool. | origina|
|000030d0| 74 69 6e 67 20 20 69 6e | 20 20 74 68 65 20 20 46 |ting in| the F|
|000030e0| 75 6e 63 74 69 6f 6e 61 | 6c 20 20 50 72 6f 67 72 |unctiona|l Progr|
|000030f0| 61 6d 6d 69 6e 67 20 20 | 47 72 6f 75 70 20 20 6f |amming |Group o|
|00003100| 66 20 74 68 65 20 44 65 | 70 61 72 74 6d 65 6e 74 |f the De|partment|
|00003110| 20 6f 66 0a 20 20 20 20 | 43 6f 6d 70 75 74 69 6e | of. |Computin|
|00003120| 67 2e 20 20 4e 65 69 74 | 68 65 72 20 74 68 65 20 |g. Neit|her the |
|00003130| 69 6d 70 6c 65 6d 65 6e | 74 61 74 69 6f 6e 20 6e |implemen|tation n|
|00003140| 6f 72 20 74 68 65 20 64 | 6f 63 75 6d 65 6e 74 61 |or the d|ocumenta|
|00003150| 74 69 6f 6e 20 61 72 65 | 20 20 63 6f 6d 70 6c 65 |tion are| comple|
|00003160| 74 65 0a 20 20 20 20 79 | 65 74 2e 20 20 20 54 68 |te. y|et. Th|
|00003170| 65 20 20 69 6e 74 65 72 | 70 72 65 74 65 72 20 20 |e inter|preter |
|00003180| 73 68 6f 75 6c 64 20 20 | 62 65 20 20 72 65 67 61 |should |be rega|
|00003190| 72 64 65 64 20 20 6f 6e | 6c 79 20 20 61 73 20 61 |rded on|ly as a|
|000031a0| 6e 20 69 6e 74 72 6f 64 | 75 63 74 69 6f 6e 20 74 |n introd|uction t|
|000031b0| 6f 0a 20 20 20 20 66 75 | 6e 63 74 69 6f 6e 61 6c |o. fu|nctional|
|000031c0| 20 20 70 72 6f 67 72 61 | 6d 6d 69 6e 67 20 20 61 | progra|mming a|
|000031d0| 6e 64 20 20 74 68 65 20 | 20 48 4f 50 45 20 20 6c |nd the | HOPE l|
|000031e0| 61 6e 67 75 61 67 65 2c | 20 20 6e 6f 74 20 20 61 |anguage,| not a|
|000031f0| 73 20 20 61 20 20 62 61 | 73 69 73 20 20 66 6f 72 |s a ba|sis for|
|00003200| 0a 20 20 20 20 64 65 76 | 65 6c 6f 70 69 6e 67 20 |. dev|eloping |
|00003210| 6c 61 72 67 65 20 69 74 | 65 6d 73 20 6f 66 20 73 |large it|ems of s|
|00003220| 6f 66 74 77 61 72 65 2e | 0a 0a 20 20 20 20 54 68 |oftware.|.. Th|
|00003230| 69 73 20 64 6f 63 75 6d | 65 6e 74 20 64 65 73 63 |is docum|ent desc|
|00003240| 72 69 62 65 73 20 68 6f | 77 20 74 6f 20 75 73 65 |ribes ho|w to use|
|00003250| 20 74 68 65 20 49 43 2d | 48 4f 50 45 20 69 6e 74 | the IC-|HOPE int|
|00003260| 65 72 70 72 65 74 65 72 | 20 20 6f 6e 20 20 74 68 |erpreter| on th|
|00003270| 65 20 20 41 63 6f 72 6e | 0a 20 20 20 20 41 72 63 |e Acorn|. Arc|
|00003280| 68 69 6d 65 64 65 73 2c | 20 20 75 6e 64 65 72 20 |himedes,| under |
|00003290| 52 49 53 43 20 4f 53 2e | 20 20 49 74 20 64 6f 65 |RISC OS.| It doe|
|000032a0| 73 20 6e 6f 74 20 64 6f | 63 75 6d 65 6e 74 20 74 |s not do|cument t|
|000032b0| 68 65 20 49 43 2d 48 4f | 50 45 20 6c 61 6e 67 75 |he IC-HO|PE langu|
|000032c0| 61 67 65 20 61 6e 64 0a | 20 20 20 20 73 68 6f 75 |age and.| shou|
|000032d0| 6c 64 20 62 65 20 72 65 | 61 64 20 69 6e 20 63 6f |ld be re|ad in co|
|000032e0| 6e 6a 75 6e 63 74 69 6f | 6e 20 77 69 74 68 20 74 |njunctio|n with t|
|000032f0| 68 65 20 22 48 6f 70 65 | 20 54 75 74 6f 72 69 61 |he "Hope| Tutoria|
|00003300| 6c 22 20 69 6e 20 74 68 | 65 20 41 75 67 75 73 74 |l" in th|e August|
|00003310| 20 20 31 39 38 35 0a 20 | 20 20 20 65 64 69 74 69 | 1985. | editi|
|00003320| 6f 6e 20 20 6f 66 20 20 | 42 59 54 45 20 20 4d 61 |on of |BYTE Ma|
|00003330| 67 61 7a 69 6e 65 2c 20 | 20 61 20 63 6f 70 79 20 |gazine, | a copy |
|00003340| 6f 66 20 77 68 69 63 68 | 20 69 73 20 6f 6e 20 74 |of which| is on t|
|00003350| 68 65 20 64 69 73 74 72 | 69 62 75 74 69 6f 6e 20 |he distr|ibution |
|00003360| 64 69 73 6b 2c 0a 20 20 | 20 20 65 6e 74 69 74 6c |disk,. | entitl|
|00003370| 65 64 20 27 48 6f 70 65 | 54 75 74 6f 72 6c 27 2e |ed 'Hope|Tutorl'.|
|00003380| 0a 0a 0a 0a 20 20 20 20 | 32 2e 20 20 20 52 75 6e |.... |2. Run|
|00003390| 6e 69 6e 67 20 74 68 65 | 20 69 6e 74 65 72 70 72 |ning the| interpr|
|000033a0| 65 74 65 72 0a 0a 20 20 | 20 20 41 66 74 65 72 20 |eter.. | After |
|000033b0| 69 6e 76 6f 6b 69 6e 67 | 20 74 68 65 20 69 6e 74 |invoking| the int|
|000033c0| 65 72 70 72 65 74 65 72 | 2c 20 74 68 65 20 63 75 |erpreter|, the cu|
|000033d0| 72 72 65 6e 74 20 64 69 | 72 65 63 74 6f 72 79 20 |rrent di|rectory |
|000033e0| 77 69 6c 6c 20 62 65 20 | 64 69 73 70 6c 61 79 65 |will be |displaye|
|000033f0| 64 20 61 74 0a 20 20 20 | 20 74 68 65 20 20 74 6f |d at. | the to|
|00003400| 70 20 6f 66 20 74 68 65 | 20 73 63 72 65 65 6e 2e |p of the| screen.|
|00003410| 20 20 42 65 6e 65 61 74 | 68 20 74 68 69 73 2c 20 | Beneat|h this, |
|00003420| 61 20 62 61 6e 6e 65 72 | 20 77 69 74 68 20 74 68 |a banner| with th|
|00003430| 65 20 76 65 72 73 69 6f | 6e 20 6e 75 6d 62 65 72 |e versio|n number|
|00003440| 20 6f 66 0a 20 20 20 20 | 74 68 65 20 69 6e 74 65 | of. |the inte|
|00003450| 72 70 72 65 74 65 72 20 | 77 69 6c 6c 20 62 65 20 |rpreter |will be |
|00003460| 70 72 69 6e 74 65 64 2c | 20 66 6f 6c 6c 6f 77 65 |printed,| followe|
|00003470| 64 20 62 79 20 74 68 65 | 20 70 72 6f 6d 70 74 20 |d by the| prompt |
|00003480| 22 3e 3a 22 2e 0a 0a 20 | 20 20 20 20 20 20 20 20 |">:"... | |
|00003490| 2a 2a 2a 2a 2a 2a 2a 2a | 2a 2a 2a 2a 2a 2a 20 49 |********|****** I|
|000034a0| 43 2d 48 4f 50 45 20 76 | 65 72 73 69 6f 6e 20 34 |C-HOPE v|ersion 4|
|000034b0| 2e 30 32 41 20 28 63 29 | 20 49 43 53 54 20 31 39 |.02A (c)| ICST 19|
|000034c0| 38 39 20 2a 2a 2a 2a 2a | 2a 2a 2a 2a 2a 2a 2a 2a |89 *****|********|
|000034d0| 2a 0a 20 20 20 20 20 20 | 20 20 20 2a 2a 20 20 20 |*. | ** |
|000034e0| 20 20 20 20 20 20 20 20 | 20 20 20 20 20 20 20 20 | | |
|000034f0| 20 20 20 20 20 20 20 20 | 20 20 20 20 20 20 20 20 | | |
|00003500| 20 20 20 20 20 20 20 20 | 20 20 20 20 20 20 20 20 | | |
|00003510| 20 20 20 20 20 20 20 20 | 20 20 2a 2a 0a 20 20 20 | | **. |
|00003520| 20 20 20 20 20 20 2a 2a | 20 20 20 20 20 57 65 6c | **| Wel|
|00003530| 63 6f 6d 65 20 74 6f 20 | 74 68 65 20 66 75 6e 63 |come to |the func|
|00003540| 74 69 6f 6e 61 6c 20 70 | 72 6f 67 72 61 6d 6d 69 |tional p|rogrammi|
|00003550| 6e 67 20 6c 61 6e 67 75 | 61 67 65 20 48 4f 50 45 |ng langu|age HOPE|
|00003560| 20 20 20 20 20 2a 2a 0a | 20 20 20 20 20 20 20 20 | **.| |
|00003570| 20 2a 2a 20 20 20 20 20 | 20 20 20 20 20 20 20 20 | ** | |
|00003580| 20 20 20 20 20 20 20 20 | 20 20 20 20 20 20 20 20 | | |
|00003590| 20 20 20 20 20 20 20 20 | 20 20 20 20 20 20 20 20 | | |
|000035a0| 20 20 20 20 20 20 20 20 | 20 20 20 20 20 20 20 20 | | |
|000035b0| 2a 2a 0a 20 20 20 20 20 | 20 20 20 20 2a 2a 2a 2a |**. | ****|
|000035c0| 2a 2a 2a 2a 2a 2a 2a 2a | 2a 20 57 61 72 6e 69 6e |********|* Warnin|
|000035d0| 67 20 2d 20 69 6e 63 6f | 6d 70 6c 65 74 65 20 69 |g - inco|mplete i|
|000035e0| 6d 70 6c 65 6d 65 6e 74 | 61 74 69 6f 6e 21 20 2a |mplement|ation! *|
|000035f0| 2a 2a 2a 2a 2a 2a 2a 2a | 2a 2a 2a 2a 2a 0a 20 20 |********|*****. |
|00003600| 20 20 3e 3a 0a 0a 20 20 | 20 20 59 6f 75 20 63 61 | >:.. | You ca|
|00003610| 6e 20 6e 6f 77 20 73 74 | 61 72 74 20 65 6e 74 65 |n now st|art ente|
|00003620| 72 69 6e 67 20 70 72 6f | 67 72 61 6d 73 20 61 73 |ring pro|grams as|
|00003630| 20 64 65 73 63 72 69 62 | 65 64 20 62 65 6c 6f 77 | describ|ed below|
|00003640| 2e 0a 0a 0a 0a 20 20 20 | 20 33 2e 20 20 20 43 68 |..... | 3. Ch|
|00003650| 61 72 61 63 74 65 72 20 | 73 65 74 0a 0a 20 20 20 |aracter |set.. |
|00003660| 20 20 20 20 20 20 54 68 | 65 20 69 6e 74 65 72 70 | Th|e interp|
|00003670| 72 65 74 65 72 20 72 65 | 63 6f 67 6e 69 73 65 73 |reter re|cognises|
|00003680| 20 74 68 65 20 66 6f 6c | 6c 6f 77 69 6e 67 20 63 | the fol|lowing c|
|00003690| 68 61 72 61 63 74 65 72 | 20 73 65 74 3a 0a 0a 20 |haracter| set:.. |
|000036a0| 20 20 20 20 20 20 20 20 | 6c 65 74 74 65 72 73 3a | |letters:|
|000036b0| 20 20 20 20 20 20 20 5f | 20 41 20 42 20 43 20 44 | _| A B C D|
|000036c0| 20 45 20 46 20 47 20 48 | 20 49 20 4a 20 4b 20 4c | E F G H| I J K L|
|000036d0| 20 4d 20 4e 20 4f 20 50 | 20 51 20 52 20 53 20 54 | M N O P| Q R S T|
|000036e0| 20 55 20 56 20 57 20 58 | 20 59 20 5a 0a 20 20 20 | U V W X| Y Z. |
|000036f0| 20 20 20 20 20 20 20 20 | 20 20 20 20 20 20 20 20 | | |
|00003700| 20 20 20 20 20 20 20 61 | 20 62 20 63 20 64 20 65 | a| b c d e|
|00003710| 20 66 20 67 20 68 20 69 | 20 6a 20 6b 20 6c 20 6d | f g h i| j k l m|
|00003720| 20 6e 20 6f 20 70 20 71 | 20 72 20 73 20 74 20 75 | n o p q| r s t u|
|00003730| 20 76 20 77 20 78 20 79 | 20 7a 0a 0a 20 20 20 20 | v w x y| z.. |
|00003740| 20 20 20 20 20 64 69 67 | 69 74 73 3a 20 20 20 20 | dig|its: |
|00003750| 20 20 20 20 30 20 31 20 | 32 20 33 20 34 20 35 20 | 0 1 |2 3 4 5 |
|00003760| 36 20 37 20 38 20 39 0a | 0a 20 20 20 20 20 20 20 |6 7 8 9.|. |
|00003770| 20 20 6f 70 65 72 61 74 | 6f 72 73 3a 20 20 20 20 | operat|ors: |
|00003780| 20 60 20 7c 20 5c 20 7e | 20 40 20 23 20 24 20 25 | ` | \ ~| @ # $ %|
|00003790| 20 5e 20 26 20 2a 20 2d | 20 2b 20 3d 20 3a 20 2e | ^ & * -| + = : .|
|000037a0| 20 3f 20 2f 0a 0a 20 20 | 20 20 20 20 20 20 20 70 | ? /.. | p|
|000037b0| 75 6e 63 74 75 61 74 69 | 6f 6e 3a 20 20 20 21 20 |unctuati|on: ! |
|000037c0| 28 20 29 20 7b 20 7d 20 | 5b 20 5d 20 3b 20 2c 20 |( ) { } |[ ] ; , |
|000037d0| 22 20 27 0a 0a 20 20 20 | 20 20 20 20 20 20 6c 61 |" '.. | la|
|000037e0| 79 6f 75 74 3a 20 20 20 | 20 20 20 20 20 73 70 61 |yout: | spa|
|000037f0| 63 65 20 74 61 62 20 6e | 65 77 6c 69 6e 65 0a 0a |ce tab n|ewline..|
|00003800| 0a 0a 0a 0a 0a 20 20 20 | 20 55 73 69 6e 67 20 49 |..... | Using I|
|00003810| 43 2d 48 6f 70 65 20 6f | 6e 20 74 68 65 20 41 72 |C-Hope o|n the Ar|
|00003820| 63 68 69 6d 65 64 65 73 | 20 20 20 20 20 20 20 20 |chimedes| |
|00003830| 20 20 20 20 20 20 20 20 | 20 20 20 20 20 20 20 20 | | |
|00003840| 20 20 20 20 20 20 20 20 | 20 20 20 20 20 20 50 61 | | Pa|
|00003850| 67 65 20 31 0a 0a 0a 0a | 0a 0a 0a 20 20 20 20 34 |ge 1....|... 4|
|00003860| 2e 20 20 20 4c 65 78 69 | 63 61 6c 20 63 6f 6e 76 |. Lexi|cal conv|
|00003870| 65 6e 74 69 6f 6e 73 0a | 0a 20 20 20 20 41 6e 20 |entions.|. An |
|00003880| 49 43 2d 48 4f 50 45 20 | 70 72 6f 67 72 61 6d 20 |IC-HOPE |program |
|00003890| 69 73 20 61 20 73 65 71 | 75 65 6e 63 65 20 6f 66 |is a seq|uence of|
|000038a0| 20 20 77 6f 72 64 73 2e | 20 20 20 41 20 20 77 6f | words.| A wo|
|000038b0| 72 64 20 20 69 73 20 20 | 61 20 20 73 65 71 75 65 |rd is |a seque|
|000038c0| 6e 63 65 20 20 6f 66 0a | 20 20 20 20 64 69 67 69 |nce of.| digi|
|000038d0| 74 73 2c 20 6f 6e 65 20 | 63 68 61 72 61 63 74 65 |ts, one |characte|
|000038e0| 72 20 69 6e 20 73 69 6e | 67 6c 65 20 71 75 6f 74 |r in sin|gle quot|
|000038f0| 65 73 2c 20 61 20 73 65 | 71 75 65 6e 63 65 20 6f |es, a se|quence o|
|00003900| 66 20 63 68 61 72 61 63 | 74 65 72 73 20 69 6e 20 |f charac|ters in |
|00003910| 64 6f 75 62 6c 65 0a 20 | 20 20 20 71 75 6f 74 65 |double. | quote|
|00003920| 73 2c 20 61 20 73 69 6e | 67 6c 65 20 20 70 75 6e |s, a sin|gle pun|
|00003930| 63 74 75 61 74 69 6f 6e | 20 20 63 68 61 72 61 63 |ctuation| charac|
|00003940| 74 65 72 2c 20 20 61 6e | 20 20 69 64 65 6e 74 69 |ter, an| identi|
|00003950| 66 69 65 72 20 20 6f 72 | 20 20 61 20 20 63 6f 6d |fier or| a com|
|00003960| 6d 65 6e 74 2e 0a 20 20 | 20 20 53 69 6e 67 6c 65 |ment.. | Single|
|00003970| 2d 71 75 6f 74 65 20 20 | 77 69 74 68 69 6e 20 20 |-quote |within |
|00003980| 73 69 6e 67 6c 65 20 20 | 71 75 6f 74 65 73 20 61 |single |quotes a|
|00003990| 6e 64 20 64 6f 75 62 6c | 65 20 71 75 6f 74 65 20 |nd doubl|e quote |
|000039a0| 77 69 74 68 69 6e 20 64 | 6f 75 62 6c 65 20 71 75 |within d|ouble qu|
|000039b0| 6f 74 65 73 0a 20 20 20 | 20 61 72 65 20 73 65 6c |otes. | are sel|
|000039c0| 66 2d 65 73 63 61 70 65 | 64 20 61 6e 64 20 6d 75 |f-escape|d and mu|
|000039d0| 73 74 20 62 65 20 64 6f | 75 62 6c 65 64 2e 20 20 |st be do|ubled. |
|000039e0| 41 6e 20 20 69 64 65 6e | 74 69 66 69 65 72 20 20 |An iden|tifier |
|000039f0| 69 73 20 20 61 20 20 73 | 65 71 75 65 6e 63 65 20 |is a s|equence |
|00003a00| 20 6f 66 0a 20 20 20 20 | 6c 65 74 74 65 72 73 20 | of. |letters |
|00003a10| 20 61 6e 64 20 20 64 69 | 67 69 74 73 20 20 73 74 | and di|gits st|
|00003a20| 61 72 74 69 6e 67 20 20 | 77 69 74 68 20 20 61 20 |arting |with a |
|00003a30| 20 6c 65 74 74 65 72 20 | 20 6f 72 20 61 20 73 65 | letter | or a se|
|00003a40| 71 75 65 6e 63 65 20 6f | 66 20 6f 70 65 72 61 74 |quence o|f operat|
|00003a50| 6f 72 0a 20 20 20 20 63 | 68 61 72 61 63 74 65 72 |or. c|haracter|
|00003a60| 73 3b 20 6f 6e 6c 79 20 | 74 68 65 20 66 69 72 73 |s; only |the firs|
|00003a70| 74 20 33 32 20 63 68 61 | 72 61 63 74 65 72 73 20 |t 32 cha|racters |
|00003a80| 61 72 65 20 73 69 67 6e | 69 66 69 63 61 6e 74 2e |are sign|ificant.|
|00003a90| 0a 0a 20 20 20 20 41 64 | 6a 61 63 65 6e 74 20 77 |.. Ad|jacent w|
|00003aa0| 6f 72 64 73 20 66 6f 72 | 6d 65 64 20 66 72 6f 6d |ords for|med from|
|00003ab0| 20 74 68 65 20 73 61 6d | 65 20 63 6c 61 73 73 20 | the sam|e class |
|00003ac0| 20 6f 66 20 20 6e 6f 6e | 2d 70 75 6e 63 74 75 61 | of non|-punctua|
|00003ad0| 74 69 6f 6e 20 20 63 68 | 61 72 61 63 74 65 72 73 |tion ch|aracters|
|00003ae0| 0a 20 20 20 20 6d 75 73 | 74 20 20 20 62 65 20 20 |. mus|t be |
|00003af0| 20 73 65 70 61 72 61 74 | 65 64 20 20 62 79 20 20 | separat|ed by |
|00003b00| 61 20 20 6c 61 79 6f 75 | 74 20 20 63 68 61 72 61 |a layou|t chara|
|00003b10| 63 74 65 72 2e 20 20 20 | 4c 61 79 6f 75 74 20 20 |cter. |Layout |
|00003b20| 63 68 61 72 61 63 74 65 | 72 73 20 20 61 72 65 0a |characte|rs are.|
|00003b30| 20 20 20 20 73 69 67 6e | 69 66 69 63 61 6e 74 20 | sign|ificant |
|00003b40| 77 69 74 68 69 6e 20 64 | 6f 75 62 6c 65 20 71 75 |within d|ouble qu|
|00003b50| 6f 74 65 73 20 65 78 63 | 65 70 74 20 20 74 68 61 |otes exc|ept tha|
|00003b60| 74 20 20 6e 65 77 6c 69 | 6e 65 20 20 69 73 20 20 |t newli|ne is |
|00003b70| 74 72 65 61 74 65 64 20 | 20 61 73 20 20 61 0a 20 |treated | as a. |
|00003b80| 20 20 20 73 70 61 63 65 | 2e 20 20 41 20 63 6f 6d | space|. A com|
|00003b90| 6d 65 6e 74 20 69 73 20 | 61 20 73 65 71 75 65 6e |ment is |a sequen|
|00003ba0| 63 65 20 6f 66 20 63 68 | 61 72 61 63 74 65 72 73 |ce of ch|aracters|
|00003bb0| 20 73 74 61 72 74 69 6e | 67 20 77 69 74 68 20 61 | startin|g with a|
|00003bc0| 6e 20 65 78 63 6c 61 6d | 61 74 69 6f 6e 0a 20 20 |n exclam|ation. |
|00003bd0| 20 20 6d 61 72 6b 20 61 | 6e 64 20 65 6e 64 69 6e | mark a|nd endin|
|00003be0| 67 20 77 69 74 68 20 61 | 20 6e 65 77 6c 69 6e 65 |g with a| newline|
|00003bf0| 20 6f 72 20 61 6e 6f 74 | 68 65 72 20 65 78 63 6c | or anot|her excl|
|00003c00| 61 6d 61 74 69 6f 6e 20 | 6d 61 72 6b 2e 20 20 43 |amation |mark. C|
|00003c10| 6f 6d 6d 65 6e 74 73 20 | 20 61 72 65 0a 20 20 20 |omments | are. |
|00003c20| 20 74 72 65 61 74 65 64 | 20 20 61 73 20 20 6c 61 | treated| as la|
|00003c30| 79 6f 75 74 20 20 63 68 | 61 72 61 63 74 65 72 73 |yout ch|aracters|
|00003c40| 20 20 61 6e 64 20 20 69 | 67 6e 6f 72 65 64 2e 20 | and i|gnored. |
|00003c50| 20 20 54 68 65 20 20 66 | 6f 6c 6c 6f 77 69 6e 67 | The f|ollowing|
|00003c60| 20 77 6f 72 64 73 20 68 | 61 76 65 0a 20 20 20 20 | words h|ave. |
|00003c70| 70 72 65 64 65 66 69 6e | 65 64 20 20 6d 65 61 6e |predefin|ed mean|
|00003c80| 69 6e 67 73 20 20 74 6f | 20 20 74 68 65 20 20 69 |ings to| the i|
|00003c90| 6e 74 65 72 70 72 65 74 | 65 72 20 20 61 6e 64 20 |nterpret|er and |
|00003ca0| 20 73 68 6f 75 6c 64 20 | 20 6e 6f 74 20 20 62 65 | should | not be|
|00003cb0| 20 20 75 73 65 64 20 20 | 61 73 0a 20 20 20 20 69 | used |as. i|
|00003cc0| 64 65 6e 74 69 66 69 65 | 72 73 3a 0a 0a 20 20 20 |dentifie|rs:.. |
|00003cd0| 20 20 20 20 20 3c 20 20 | 3c 3e 20 20 3c 3d 20 20 | < |<> <= |
|00003ce0| 2b 20 20 2b 2b 20 20 7c | 20 20 26 20 20 2a 20 20 |+ ++ || & * |
|00003cf0| 2d 20 20 2d 2d 2d 20 20 | 2d 3e 20 20 2f 3d 20 20 |- --- |-> /= |
|00003d00| 5f 20 20 3e 20 20 3e 3d | 20 20 20 3a 20 20 20 3a |_ > >=| : :|
|00003d10| 3a 20 20 20 3a 3a 3a 0a | 20 20 20 20 20 20 20 20 |: :::.| |
|00003d20| 23 20 20 3d 20 20 3d 3c | 20 20 3d 3e 20 20 3d 3d |# = =<| => ==|
|00003d30| 20 20 61 6c 70 68 61 20 | 20 61 6e 64 20 20 62 65 | alpha | and be|
|00003d40| 74 61 20 20 62 69 73 65 | 63 74 20 20 63 68 61 72 |ta bise|ct char|
|00003d50| 20 20 63 6c 6f 73 65 20 | 20 64 61 74 61 20 20 64 | close | data d|
|00003d60| 65 63 0a 20 20 20 20 20 | 20 20 20 64 69 73 70 6c |ec. | displ|
|00003d70| 61 79 20 20 64 69 76 20 | 20 65 63 68 6f 20 20 65 |ay div | echo e|
|00003d80| 6c 73 65 20 20 20 65 6d | 70 74 79 20 20 65 6e 64 |lse em|pty end|
|00003d90| 20 20 65 6f 66 20 20 20 | 65 78 69 74 20 20 66 61 | eof |exit fa|
|00003da0| 6c 73 65 20 20 20 67 65 | 74 63 68 61 72 0a 20 20 |lse ge|tchar. |
|00003db0| 20 20 20 20 20 20 69 6e | 20 20 20 69 6e 66 69 78 | in| infix|
|00003dc0| 20 20 69 6e 74 65 72 73 | 65 63 74 20 20 69 73 69 | inters|ect isi|
|00003dd0| 6e 20 20 20 6c 61 6d 62 | 64 61 20 20 6c 65 74 20 |n lamb|da let |
|00003de0| 20 6c 69 73 74 20 20 20 | 6c 6f 61 64 20 20 6d 69 | list |load mi|
|00003df0| 6e 75 73 20 20 6d 6f 64 | 0a 20 20 20 20 20 20 20 |nus mod|. |
|00003e00| 20 6d 6f 64 69 66 79 20 | 20 20 6e 69 6c 20 20 6e | modify | nil n|
|00003e10| 6c 20 20 20 6e 6f 6e 6f | 70 20 20 6e 6f 74 20 20 |l nono|p not |
|00003e20| 20 6e 6f 74 72 61 63 65 | 20 20 6e 75 6d 20 20 20 | notrace| num |
|00003e30| 6f 70 65 6e 69 6e 20 20 | 6f 70 65 6e 6f 75 74 20 |openin |openout |
|00003e40| 20 6f 72 0a 20 20 20 20 | 20 20 20 20 70 72 69 6e | or. | prin|
|00003e50| 74 20 20 20 70 75 74 63 | 68 61 72 20 20 70 75 74 |t putc|har put|
|00003e60| 6c 69 73 74 20 20 20 73 | 61 76 65 20 20 73 65 74 |list s|ave set|
|00003e70| 20 20 20 73 69 7a 65 20 | 20 73 68 6f 77 20 20 20 | size | show |
|00003e80| 73 70 6c 69 74 20 20 20 | 73 74 72 65 61 6d 0a 20 |split |stream. |
|00003e90| 20 20 20 20 20 20 20 73 | 75 62 73 65 74 20 20 73 | s|ubset s|
|00003ea0| 75 63 63 20 20 20 73 79 | 73 74 65 6d 20 20 20 74 |ucc sy|stem t|
|00003eb0| 68 65 6e 20 20 20 74 69 | 6d 65 20 20 20 74 72 61 |hen ti|me tra|
|00003ec0| 63 65 20 20 20 74 72 75 | 65 20 20 20 74 72 75 76 |ce tru|e truv|
|00003ed0| 61 6c 20 20 20 74 79 70 | 65 0a 20 20 20 20 20 20 |al typ|e. |
|00003ee0| 20 20 74 79 70 65 76 61 | 72 20 20 75 6e 69 6f 6e | typeva|r union|
|00003ef0| 20 20 76 6f 69 64 20 20 | 77 68 65 72 65 20 20 77 | void |where w|
|00003f00| 69 64 74 68 20 20 77 69 | 74 68 20 20 58 0a 0a 0a |idth wi|th X...|
|00003f10| 0a 20 20 20 20 35 2e 20 | 20 20 50 72 6f 67 72 61 |. 5. | Progra|
|00003f20| 6d 20 6f 72 64 65 72 0a | 0a 20 20 20 20 49 6e 66 |m order.|. Inf|
|00003f30| 69 78 20 64 65 63 6c 61 | 72 61 74 69 6f 6e 73 20 |ix decla|rations |
|00003f40| 6d 75 73 74 20 61 70 70 | 65 61 72 20 62 65 66 6f |must app|ear befo|
|00003f50| 72 65 20 74 68 65 20 20 | 6f 70 65 72 61 74 69 6f |re the |operatio|
|00003f60| 6e 73 20 20 61 72 65 20 | 20 75 73 65 64 20 20 69 |ns are | used i|
|00003f70| 6e 20 20 64 61 74 61 0a | 20 20 20 20 64 65 66 69 |n data.| defi|
|00003f80| 6e 69 74 69 6f 6e 73 2c | 20 20 72 65 63 75 72 73 |nitions,| recurs|
|00003f90| 69 6f 6e 20 20 65 71 75 | 61 74 69 6f 6e 73 20 6f |ion equ|ations o|
|00003fa0| 72 20 65 78 70 72 65 73 | 73 69 6f 6e 73 2e 20 20 |r expres|sions. |
|00003fb0| 54 79 70 65 20 76 61 72 | 69 61 62 6c 65 73 20 6d |Type var|iables m|
|00003fc0| 75 73 74 20 62 65 0a 20 | 20 20 20 64 65 63 6c 61 |ust be. | decla|
|00003fd0| 72 65 64 20 62 65 66 6f | 72 65 20 74 68 65 79 20 |red befo|re they |
|00003fe0| 61 72 65 20 75 73 65 64 | 20 69 6e 20 64 61 74 61 |are used| in data|
|00003ff0| 20 64 65 66 69 6e 69 74 | 69 6f 6e 73 2e 20 20 46 | definit|ions. F|
|00004000| 75 6e 63 74 69 6f 6e 20 | 20 64 65 63 6c 61 72 61 |unction | declara|
|00004010| 74 69 6f 6e 73 0a 20 20 | 20 20 6d 75 73 74 20 20 |tions. | must |
|00004020| 61 70 70 65 61 72 20 20 | 62 65 66 6f 72 65 20 20 |appear |before |
|00004030| 61 6e 79 20 6f 66 20 74 | 68 65 69 72 20 72 65 63 |any of t|heir rec|
|00004040| 75 72 73 69 6f 6e 20 65 | 71 75 61 74 69 6f 6e 73 |ursion e|quations|
|00004050| 20 61 6e 64 20 62 65 66 | 6f 72 65 20 74 68 65 79 | and bef|ore they|
|00004060| 20 61 72 65 0a 20 20 20 | 20 75 73 65 64 20 69 6e | are. | used in|
|00004070| 20 65 78 70 72 65 73 73 | 69 6f 6e 73 2e 20 20 4d | express|ions. M|
|00004080| 75 74 75 61 6c 6c 79 20 | 72 65 63 75 72 73 69 76 |utually |recursiv|
|00004090| 65 20 64 61 74 61 20 74 | 79 70 65 73 20 63 61 6e |e data t|ypes can|
|000040a0| 20 62 65 20 64 65 63 6c | 61 72 65 64 20 20 75 73 | be decl|ared us|
|000040b0| 69 6e 67 0a 20 20 20 20 | 74 68 65 20 20 22 77 69 |ing. |the "wi|
|000040c0| 74 68 22 20 20 63 6f 6e | 6e 65 63 74 69 76 65 2e |th" con|nective.|
|000040d0| 20 20 20 50 72 6f 76 69 | 64 65 64 20 20 74 68 65 | Provi|ded the|
|000040e0| 73 65 20 20 63 6f 6e 73 | 74 72 61 69 6e 74 73 20 |se cons|traints |
|000040f0| 20 61 72 65 20 6f 62 73 | 65 72 76 65 64 2c 20 74 | are obs|erved, t|
|00004100| 68 65 0a 20 20 20 20 65 | 6c 65 6d 65 6e 74 73 20 |he. e|lements |
|00004110| 6f 66 20 74 68 65 20 70 | 72 6f 67 72 61 6d 20 63 |of the p|rogram c|
|00004120| 61 6e 20 62 65 20 65 6e | 74 65 72 65 64 20 69 6e |an be en|tered in|
|00004130| 20 61 6e 79 20 6f 72 64 | 65 72 2e 0a 0a 20 20 20 | any ord|er... |
|00004140| 20 54 68 65 20 69 6e 74 | 65 72 70 72 65 74 65 72 | The int|erpreter|
|00004150| 20 64 6f 65 73 20 6e 6f | 74 20 63 68 65 63 6b 20 | does no|t check |
|00004160| 74 68 61 74 20 74 68 65 | 20 70 61 74 74 65 72 6e |that the| pattern|
|00004170| 73 20 6f 6e 20 74 68 65 | 20 6c 65 66 74 2d 68 61 |s on the| left-ha|
|00004180| 6e 64 20 73 69 64 65 73 | 20 6f 66 0a 20 20 20 20 |nd sides| of. |
|00004190| 72 65 63 75 72 73 69 6f | 6e 20 65 71 75 61 74 69 |recursio|n equati|
|000041a0| 6f 6e 73 20 61 72 65 20 | 75 6e 69 71 75 65 2e 20 |ons are |unique. |
|000041b0| 20 41 74 20 72 75 6e 2d | 74 69 6d 65 20 74 68 65 | At run-|time the|
|000041c0| 79 20 61 72 65 20 63 68 | 65 63 6b 65 64 20 69 6e |y are ch|ecked in|
|000041d0| 20 74 68 65 20 6f 72 64 | 65 72 0a 20 20 20 20 74 | the ord|er. t|
|000041e0| 68 65 79 20 77 65 72 65 | 20 65 6e 74 65 72 65 64 |hey were| entered|
|000041f0| 20 61 6e 64 20 74 68 65 | 20 20 66 69 72 73 74 20 | and the| first |
|00004200| 20 65 71 75 61 74 69 6f | 6e 20 20 77 69 74 68 20 | equatio|n with |
|00004210| 20 61 20 20 6d 61 74 63 | 68 69 6e 67 20 20 70 61 | a matc|hing pa|
|00004220| 74 74 65 72 6e 20 20 69 | 73 0a 20 20 20 20 65 76 |ttern i|s. ev|
|00004230| 61 6c 75 61 74 65 64 2e | 20 20 50 72 6f 67 72 61 |aluated.| Progra|
|00004240| 6d 73 20 73 68 6f 75 6c | 64 20 6e 6f 74 20 62 65 |ms shoul|d not be|
|00004250| 20 77 72 69 74 74 65 6e | 20 74 6f 20 74 61 6b 65 | written| to take|
|00004260| 20 61 64 76 61 6e 74 61 | 67 65 20 6f 66 20 74 68 | advanta|ge of th|
|00004270| 69 73 2e 0a 0a 0a 0a 0a | 0a 0a 0a 0a 0a 0a 0a 0a |is......|........|
|00004280| 0a 0a 0a 20 20 20 20 55 | 73 69 6e 67 20 49 43 2d |... U|sing IC-|
|00004290| 48 6f 70 65 20 6f 6e 20 | 74 68 65 20 41 72 63 68 |Hope on |the Arch|
|000042a0| 69 6d 65 64 65 73 20 20 | 20 20 20 20 20 20 20 20 |imedes | |
|000042b0| 20 20 20 20 20 20 20 20 | 20 20 20 20 20 20 20 20 | | |
|000042c0| 20 20 20 20 20 20 20 20 | 20 20 20 20 50 61 67 65 | | Page|
|000042d0| 20 32 0a 0a 0a 0a 0a 0a | 0a 20 20 20 20 36 2e 20 | 2......|. 6. |
|000042e0| 20 20 53 74 61 6e 64 61 | 72 64 20 66 61 63 69 6c | Standa|rd facil|
|000042f0| 69 74 69 65 73 0a 0a 20 | 20 20 20 54 68 65 20 66 |ities.. | The f|
|00004300| 6f 6c 6c 6f 77 69 6e 67 | 20 64 65 63 6c 61 72 61 |ollowing| declara|
|00004310| 74 69 6f 6e 73 20 6d 61 | 79 20 62 65 20 61 73 73 |tions ma|y be ass|
|00004320| 75 6d 65 64 20 74 6f 20 | 62 65 20 6d 61 64 65 20 |umed to |be made |
|00004330| 77 68 65 6e 20 74 68 65 | 20 20 69 6e 74 65 72 70 |when the| interp|
|00004340| 72 65 74 65 72 0a 20 20 | 20 20 69 73 20 20 6c 6f |reter. | is lo|
|00004350| 61 64 65 64 20 20 61 6e | 64 20 20 74 68 65 20 74 |aded an|d the t|
|00004360| 79 70 65 73 2c 20 74 79 | 70 65 20 76 61 72 69 61 |ypes, ty|pe varia|
|00004370| 62 6c 65 73 2c 20 66 75 | 6e 63 74 69 6f 6e 73 20 |bles, fu|nctions |
|00004380| 61 6e 64 20 6f 70 65 72 | 61 74 69 6f 6e 73 20 77 |and oper|ations w|
|00004390| 68 69 63 68 0a 20 20 20 | 20 74 68 65 79 20 69 6e |hich. | they in|
|000043a0| 74 72 6f 64 75 63 65 20 | 6d 61 79 20 62 65 20 75 |troduce |may be u|
|000043b0| 73 65 64 20 77 69 74 68 | 6f 75 74 20 66 75 72 74 |sed with|out furt|
|000043c0| 68 65 72 20 66 6f 72 6d | 61 6c 69 74 79 2e 0a 0a |her form|ality...|
|000043d0| 20 20 20 20 74 79 70 65 | 76 61 72 20 61 6c 70 68 | type|var alph|
|000043e0| 61 2c 20 62 65 74 61 20 | 3b 0a 0a 0a 20 20 20 20 |a, beta |;... |
|000043f0| 74 79 70 65 20 73 74 72 | 65 61 6d 20 3d 3d 20 6e |type str|eam == n|
|00004400| 75 6d 20 3b 0a 0a 0a 20 | 20 20 20 69 6e 66 69 78 |um ;... | infix|
|00004410| 20 69 73 69 6e 20 20 20 | 20 20 20 20 20 20 20 20 | isin | |
|00004420| 20 20 20 20 20 20 20 20 | 20 20 20 20 20 20 20 20 | | |
|00004430| 20 20 20 20 20 3a 20 33 | 20 3b 0a 20 20 20 20 69 | : 3| ;. i|
|00004440| 6e 66 69 78 20 3c 3e 2c | 20 3a 3a 2c 20 3a 3a 3a |nfix <>,| ::, :::|
|00004450| 2c 20 6f 72 2c 20 75 6e | 69 6f 6e 20 20 20 20 20 |, or, un|ion |
|00004460| 20 20 20 20 20 20 20 20 | 20 3a 20 34 20 3b 0a 20 | | : 4 ;. |
|00004470| 20 20 20 69 6e 66 69 78 | 20 2b 2c 20 2d 2c 20 61 | infix| +, -, a|
|00004480| 6e 64 2c 20 69 6e 74 65 | 72 73 65 63 74 2c 20 6d |nd, inte|rsect, m|
|00004490| 69 6e 75 73 2c 20 73 75 | 62 73 65 74 20 3a 20 35 |inus, su|bset : 5|
|000044a0| 20 3b 0a 20 20 20 20 69 | 6e 66 69 78 20 3d 2c 20 | ;. i|nfix =, |
|000044b0| 3c 2c 20 3e 2c 20 2f 3d | 2c 20 3d 3c 2c 20 3e 3d |<, >, /=|, =<, >=|
|000044c0| 2c 20 2a 2c 20 64 69 76 | 2c 20 6d 6f 64 20 20 20 |, *, div|, mod |
|000044d0| 20 3a 20 36 20 3b 0a 0a | 0a 20 20 20 20 64 61 74 | : 6 ;..|. dat|
|000044e0| 61 20 6e 75 6d 20 20 20 | 20 20 20 20 20 20 20 20 |a num | |
|000044f0| 20 3d 3d 20 30 20 20 20 | 20 2b 2b 20 73 75 63 63 | == 0 | ++ succ|
|00004500| 20 28 20 6e 75 6d 20 29 | 20 3b 0a 20 20 20 20 64 | ( num )| ;. d|
|00004510| 61 74 61 20 74 72 75 76 | 61 6c 20 20 20 20 20 20 |ata truv|al |
|00004520| 20 20 20 3d 3d 20 74 72 | 75 65 20 2b 2b 20 66 61 | == tr|ue ++ fa|
|00004530| 6c 73 65 20 3b 0a 20 20 | 20 20 64 61 74 61 20 63 |lse ;. | data c|
|00004540| 68 61 72 20 20 20 20 20 | 20 20 20 20 20 20 3d 3d |har | ==|
|00004550| 20 27 41 27 20 20 2b 2b | 20 27 42 27 20 2b 2b 20 | 'A' ++| 'B' ++ |
|00004560| 27 43 27 20 2b 2b 20 2e | 2e 2e 20 3b 0a 0a 20 20 |'C' ++ .|.. ;.. |
|00004570| 20 20 64 61 74 61 20 73 | 65 74 20 28 20 61 6c 70 | data s|et ( alp|
|00004580| 68 61 20 29 20 20 3d 3d | 20 65 6d 70 74 79 20 3b |ha ) ==| empty ;|
|00004590| 0a 20 20 20 20 64 61 74 | 61 20 6c 69 73 74 20 28 |. dat|a list (|
|000045a0| 20 61 6c 70 68 61 20 29 | 20 3d 3d 20 6e 69 6c 20 | alpha )| == nil |
|000045b0| 2b 2b 20 61 6c 70 68 61 | 20 3a 3a 20 6c 69 73 74 |++ alpha| :: list|
|000045c0| 20 28 20 61 6c 70 68 61 | 20 29 20 2b 2b 0a 20 20 | ( alpha| ) ++. |
|000045d0| 20 20 20 20 20 20 20 20 | 20 20 20 20 20 20 20 20 | | |
|000045e0| 20 20 20 20 20 20 20 20 | 20 20 61 6c 70 68 61 20 | | alpha |
|000045f0| 3a 3a 3a 20 6c 69 73 74 | 20 28 20 61 6c 70 68 61 |::: list| ( alpha|
|00004600| 20 29 20 3b 0a 0a 0a 20 | 20 20 20 64 65 63 20 20 | ) ;... | dec |
|00004610| 2b 2c 20 2d 2c 20 2a 2c | 20 64 69 76 2c 20 6d 6f |+, -, *,| div, mo|
|00004620| 64 20 20 20 3a 20 28 20 | 6e 75 6d 20 23 20 6e 75 |d : ( |num # nu|
|00004630| 6d 20 29 20 2d 3e 20 6e | 75 6d 20 3b 0a 20 20 20 |m ) -> n|um ;. |
|00004640| 20 64 65 63 20 20 3d 2c | 20 3c 2c 20 3d 3c 2c 20 | dec =,| <, =<, |
|00004650| 3e 2c 20 3e 3d 2c 20 2f | 3d 20 3a 20 28 20 61 6c |>, >=, /|= : ( al|
|00004660| 70 68 61 20 23 20 61 6c | 70 68 61 29 20 2d 3e 20 |pha # al|pha) -> |
|00004670| 74 72 75 76 61 6c 20 3b | 0a 20 20 20 20 64 65 63 |truval ;|. dec|
|00004680| 20 20 61 6e 64 2c 20 6f | 72 20 20 20 20 20 20 20 | and, o|r |
|00004690| 20 20 20 20 20 20 3a 20 | 28 20 74 72 75 76 61 6c | : |( truval|
|000046a0| 20 23 20 74 72 75 76 61 | 6c 20 29 20 2d 3e 20 74 | # truva|l ) -> t|
|000046b0| 72 75 76 61 6c 20 3b 0a | 20 20 20 20 64 65 63 20 |ruval ;.| dec |
|000046c0| 20 6e 6f 74 20 20 20 20 | 20 20 20 20 20 20 20 20 | not | |
|000046d0| 20 20 20 20 20 3a 20 74 | 72 75 76 61 6c 20 2d 3e | : t|ruval ->|
|000046e0| 20 74 72 75 76 61 6c 20 | 3b 0a 20 20 20 20 64 65 | truval |;. de|
|000046f0| 63 20 20 3c 3e 20 20 20 | 20 20 20 20 20 20 20 20 |c <> | |
|00004700| 20 20 20 20 20 20 20 3a | 20 28 20 6c 69 73 74 20 | :| ( list |
|00004710| 28 20 61 6c 70 68 61 20 | 29 20 23 20 6c 69 73 74 |( alpha |) # list|
|00004720| 20 28 20 61 6c 70 68 61 | 20 29 20 29 20 2d 3e 0a | ( alpha| ) ) ->.|
|00004730| 20 20 20 20 20 20 20 20 | 20 20 20 20 20 20 20 20 | | |
|00004740| 20 20 20 20 20 20 20 20 | 20 20 20 20 20 20 20 6c | | l|
|00004750| 69 73 74 20 28 20 61 6c | 70 68 61 20 29 20 3b 0a |ist ( al|pha ) ;.|
|00004760| 0a 20 20 20 20 64 65 63 | 20 63 6c 6f 73 65 20 20 |. dec| close |
|00004770| 20 20 20 20 3a 20 73 74 | 72 65 61 6d 20 2d 3e 20 | : st|ream -> |
|00004780| 76 6f 69 64 20 3b 0a 20 | 20 20 20 64 65 63 20 65 |void ;. | dec e|
|00004790| 6f 66 20 20 20 20 20 20 | 20 20 3a 20 63 68 61 72 |of | : char|
|000047a0| 20 3b 0a 20 20 20 20 64 | 65 63 20 67 65 74 63 68 | ;. d|ec getch|
|000047b0| 61 72 20 20 20 20 3a 20 | 73 74 72 65 61 6d 20 2d |ar : |stream -|
|000047c0| 3e 20 63 68 61 72 20 3b | 0a 20 20 20 20 64 65 63 |> char ;|. dec|
|000047d0| 20 6e 6c 20 20 20 20 20 | 20 20 20 20 3a 20 63 68 | nl | : ch|
|000047e0| 61 72 20 3b 0a 20 20 20 | 20 64 65 63 20 73 68 6f |ar ;. | dec sho|
|000047f0| 77 20 20 20 20 20 20 20 | 3a 20 61 6c 70 68 61 20 |w |: alpha |
|00004800| 2d 3e 20 61 6c 70 68 61 | 20 3b 0a 20 20 20 20 64 |-> alpha| ;. d|
|00004810| 65 63 20 6f 70 65 6e 69 | 6e 20 20 20 20 20 3a 20 |ec openi|n : |
|00004820| 6c 69 73 74 20 28 20 63 | 68 61 72 20 29 20 2d 3e |list ( c|har ) ->|
|00004830| 20 73 74 72 65 61 6d 20 | 3b 0a 20 20 20 20 64 65 | stream |;. de|
|00004840| 63 20 6f 70 65 6e 6f 75 | 74 20 20 20 20 3a 20 6c |c openou|t : l|
|00004850| 69 73 74 20 28 20 63 68 | 61 72 20 29 20 2d 3e 20 |ist ( ch|ar ) -> |
|00004860| 73 74 72 65 61 6d 20 3b | 0a 20 20 20 20 64 65 63 |stream ;|. dec|
|00004870| 20 70 72 69 6e 74 20 20 | 20 20 20 20 3a 20 6c 69 | print | : li|
|00004880| 73 74 20 28 20 63 68 61 | 72 20 29 20 2d 3e 20 76 |st ( cha|r ) -> v|
|00004890| 6f 69 64 20 3b 0a 20 20 | 20 20 64 65 63 20 70 75 |oid ;. | dec pu|
|000048a0| 74 63 68 61 72 20 20 20 | 20 3a 20 28 20 73 74 72 |tchar | : ( str|
|000048b0| 65 61 6d 20 23 20 63 68 | 61 72 20 29 20 2d 3e 20 |eam # ch|ar ) -> |
|000048c0| 76 6f 69 64 20 3b 0a 20 | 20 20 20 64 65 63 20 70 |void ;. | dec p|
|000048d0| 75 74 6c 69 73 74 20 20 | 20 20 3a 20 28 20 6c 69 |utlist | : ( li|
|000048e0| 73 74 20 28 20 6c 69 73 | 74 20 28 20 63 68 61 72 |st ( lis|t ( char|
|000048f0| 20 29 20 29 20 23 20 73 | 74 72 65 61 6d 20 29 20 | ) ) # s|tream ) |
|00004900| 2d 3e 20 76 6f 69 64 20 | 3b 0a 0a 20 20 20 20 64 |-> void |;.. d|
|00004910| 65 63 20 62 69 73 65 63 | 74 20 20 20 20 20 3a 20 |ec bisec|t : |
|00004920| 73 65 74 20 28 20 61 6c | 70 68 61 20 29 20 2d 3e |set ( al|pha ) ->|
|00004930| 20 28 20 73 65 74 20 28 | 20 61 6c 70 68 61 20 29 | ( set (| alpha )|
|00004940| 20 23 20 73 65 74 20 28 | 20 61 6c 70 68 61 20 29 | # set (| alpha )|
|00004950| 20 29 20 3b 0a 20 20 20 | 20 64 65 63 20 69 6e 74 | ) ;. | dec int|
|00004960| 65 72 73 65 63 74 20 20 | 3a 20 28 20 73 65 74 20 |ersect |: ( set |
|00004970| 28 20 61 6c 70 68 61 20 | 29 20 23 20 73 65 74 20 |( alpha |) # set |
|00004980| 28 20 61 6c 70 68 61 20 | 29 20 29 20 2d 3e 20 73 |( alpha |) ) -> s|
|00004990| 65 74 20 28 20 61 6c 70 | 68 61 20 29 20 3b 0a 20 |et ( alp|ha ) ;. |
|000049a0| 20 20 20 64 65 63 20 69 | 73 69 6e 20 20 20 20 20 | dec i|sin |
|000049b0| 20 20 3a 20 28 20 61 6c | 70 68 61 20 23 20 73 65 | : ( al|pha # se|
|000049c0| 74 20 28 20 61 6c 70 68 | 61 20 29 20 29 20 2d 3e |t ( alph|a ) ) ->|
|000049d0| 20 74 72 75 76 61 6c 20 | 3b 0a 20 20 20 20 64 65 | truval |;. de|
|000049e0| 63 20 6d 69 6e 75 73 20 | 20 20 20 20 20 3a 20 28 |c minus | : (|
|000049f0| 20 73 65 74 20 28 20 61 | 6c 70 68 61 20 29 20 23 | set ( a|lpha ) #|
|00004a00| 20 73 65 74 20 28 20 61 | 6c 70 68 61 20 29 20 29 | set ( a|lpha ) )|
|00004a10| 20 2d 3e 20 73 65 74 20 | 28 20 61 6c 70 68 61 20 | -> set |( alpha |
|00004a20| 29 20 3b 0a 20 20 20 20 | 64 65 63 20 73 69 7a 65 |) ;. |dec size|
|00004a30| 20 20 20 20 20 20 20 3a | 20 73 65 74 20 28 20 61 | :| set ( a|
|00004a40| 6c 70 68 61 20 29 20 2d | 3e 20 6e 75 6d 3b 0a 20 |lpha ) -|> num;. |
|00004a50| 20 20 20 64 65 63 20 73 | 70 6c 69 74 20 20 20 20 | dec s|plit |
|00004a60| 20 20 3a 20 73 65 74 20 | 28 20 61 6c 70 68 61 20 | : set |( alpha |
|00004a70| 29 20 2d 3e 20 28 20 61 | 6c 70 68 61 20 23 20 73 |) -> ( a|lpha # s|
|00004a80| 65 74 20 28 20 61 6c 70 | 68 61 20 29 20 29 20 3b |et ( alp|ha ) ) ;|
|00004a90| 0a 20 20 20 20 64 65 63 | 20 73 75 62 73 65 74 20 |. dec| subset |
|00004aa0| 20 20 20 20 3a 20 28 20 | 73 65 74 20 28 20 61 6c | : ( |set ( al|
|00004ab0| 70 68 61 20 29 20 23 20 | 73 65 74 20 28 20 61 6c |pha ) # |set ( al|
|00004ac0| 70 68 61 20 29 20 29 20 | 2d 3e 20 74 72 75 76 61 |pha ) ) |-> truva|
|00004ad0| 6c 20 3b 0a 20 20 20 20 | 64 65 63 20 75 6e 69 6f |l ;. |dec unio|
|00004ae0| 6e 20 20 20 20 20 20 3a | 20 28 20 73 65 74 20 28 |n :| ( set (|
|00004af0| 20 61 6c 70 68 61 20 29 | 20 23 20 73 65 74 20 28 | alpha )| # set (|
|00004b00| 20 61 6c 70 68 61 20 29 | 20 29 20 2d 3e 20 73 65 | alpha )| ) -> se|
|00004b10| 74 20 28 20 61 6c 70 68 | 61 20 29 20 3b 0a 0a 0a |t ( alph|a ) ;...|
|00004b20| 0a 0a 0a 0a 20 20 20 20 | 55 73 69 6e 67 20 49 43 |.... |Using IC|
|00004b30| 2d 48 6f 70 65 20 6f 6e | 20 74 68 65 20 41 72 63 |-Hope on| the Arc|
|00004b40| 68 69 6d 65 64 65 73 20 | 20 20 20 20 20 20 20 20 |himedes | |
|00004b50| 20 20 20 20 20 20 20 20 | 20 20 20 20 20 20 20 20 | | |
|00004b60| 20 20 20 20 20 20 20 20 | 20 20 20 20 20 50 61 67 | | Pag|
|00004b70| 65 20 33 0a 0a 0a 0a 0a | 0a 0a 20 20 20 20 54 68 |e 3.....|.. Th|
|00004b80| 65 20 66 75 6c 6c 20 73 | 65 74 20 6f 66 20 63 6f |e full s|et of co|
|00004b90| 6e 73 74 72 75 63 74 6f | 72 73 20 66 6f 72 20 64 |nstructo|rs for d|
|00004ba0| 61 74 61 20 74 79 70 65 | 20 22 63 68 61 72 22 20 |ata type| "char" |
|00004bb0| 20 69 73 20 20 74 68 65 | 20 20 73 65 74 20 20 6f | is the| set o|
|00004bc0| 66 20 20 41 53 43 49 49 | 0a 20 20 20 20 63 68 61 |f ASCII|. cha|
|00004bd0| 72 61 63 74 65 72 73 20 | 64 65 66 69 6e 65 64 20 |racters |defined |
|00004be0| 69 6e 20 73 65 63 74 69 | 6f 6e 20 33 20 61 62 6f |in secti|on 3 abo|
|00004bf0| 76 65 2e 20 20 54 68 65 | 20 72 65 6c 61 74 69 6f |ve. The| relatio|
|00004c00| 6e 61 6c 20 6f 70 65 72 | 61 74 6f 72 73 20 3c 3d |nal oper|ators <=|
|00004c10| 2c 20 2c 20 3d 3c 2c 0a | 20 20 20 20 3e 2c 20 3e |, , =<,.| >, >|
|00004c20| 3d 20 61 6e 64 20 2f 3d | 20 68 61 76 65 20 74 68 |= and /=| have th|
|00004c30| 65 69 72 20 75 73 75 61 | 6c 20 6d 65 61 6e 69 6e |eir usua|l meanin|
|00004c40| 67 73 20 66 6f 72 20 22 | 6e 75 6d 22 20 20 61 6e |gs for "|num" an|
|00004c50| 64 20 20 22 63 68 61 72 | 22 20 20 70 61 72 61 6d |d "char|" param|
|00004c60| 65 74 65 72 73 2c 0a 20 | 20 20 20 77 69 74 68 20 |eters,. | with |
|00004c70| 41 53 43 49 49 20 6f 72 | 64 65 72 69 6e 67 20 66 |ASCII or|dering f|
|00004c80| 6f 72 20 63 68 61 72 61 | 63 74 65 72 73 2e 20 20 |or chara|cters. |
|00004c90| 54 68 65 79 20 61 72 65 | 20 6e 6f 74 20 64 65 66 |They are| not def|
|00004ca0| 69 6e 65 64 20 66 6f 72 | 20 6f 74 68 65 72 20 74 |ined for| other t|
|00004cb0| 79 70 65 73 2c 0a 20 20 | 20 20 65 78 63 65 70 74 |ypes,. | except|
|00004cc0| 20 66 6f 72 20 3d 2c 20 | 77 68 69 63 68 20 69 73 | for =, |which is|
|00004cd0| 20 61 6c 73 6f 20 64 65 | 66 69 6e 65 64 20 6f 76 | also de|fined ov|
|00004ce0| 65 72 20 73 74 72 75 63 | 74 75 72 65 64 20 74 79 |er struc|tured ty|
|00004cf0| 70 65 73 2e 20 20 46 75 | 6e 63 74 69 6f 6e 73 20 |pes. Fu|nctions |
|00004d00| 20 61 6e 64 0a 20 20 20 | 20 74 79 70 65 73 20 20 | and. | types |
|00004d10| 77 68 69 63 68 20 20 61 | 72 65 20 20 6e 6f 74 20 |which a|re not |
|00004d20| 20 6d 65 6e 74 69 6f 6e | 65 64 20 20 69 6e 20 74 | mention|ed in t|
|00004d30| 68 65 20 22 48 6f 70 65 | 20 74 75 74 6f 72 69 61 |he "Hope| tutoria|
|00004d40| 6c 22 20 61 72 65 20 64 | 65 73 63 72 69 62 65 64 |l" are d|escribed|
|00004d50| 20 69 6e 0a 20 20 20 20 | 73 65 63 74 69 6f 6e 20 | in. |section |
|00004d60| 39 20 62 65 6c 6f 77 2e | 0a 0a 0a 0a 20 20 20 20 |9 below.|.... |
|00004d70| 37 2e 20 20 20 42 69 6e | 64 69 6e 67 20 63 6f 6e |7. Bin|ding con|
|00004d80| 76 65 6e 74 69 6f 6e 73 | 0a 0a 20 20 20 20 54 68 |ventions|.. Th|
|00004d90| 65 20 20 63 6f 6d 6d 61 | 20 20 62 69 6e 64 73 20 |e comma| binds |
|00004da0| 20 6d 6f 73 74 20 20 77 | 65 61 6b 6c 79 2c 20 20 | most w|eakly, |
|00004db0| 66 6f 6c 6c 6f 77 65 64 | 20 20 62 79 20 20 63 6f |followed| by co|
|00004dc0| 6e 64 69 74 69 6f 6e 61 | 6c 73 2c 20 20 74 68 65 |nditiona|ls, the|
|00004dd0| 20 20 20 22 6c 65 74 22 | 0a 20 20 20 20 71 75 61 | "let"|. qua|
|00004de0| 6c 69 66 69 65 72 2c 20 | 20 74 68 65 20 22 77 68 |lifier, | the "wh|
|00004df0| 65 72 65 22 20 71 75 61 | 6c 69 66 69 65 72 2c 20 |ere" qua|lifier, |
|00004e00| 61 6c 6c 20 69 6e 66 69 | 78 20 6f 70 65 72 61 74 |all infi|x operat|
|00004e10| 6f 72 73 20 69 6e 20 6e | 75 6d 65 72 69 63 20 70 |ors in n|umeric p|
|00004e20| 72 69 6f 72 69 74 79 0a | 20 20 20 20 6f 72 64 65 |riority.| orde|
|00004e30| 72 20 28 68 69 67 68 65 | 73 74 20 66 69 72 73 74 |r (highe|st first|
|00004e40| 29 2c 20 66 75 6e 63 74 | 69 6f 6e 20 61 70 70 6c |), funct|ion appl|
|00004e50| 69 63 61 74 69 6f 6e 20 | 28 72 65 70 72 65 73 65 |ication |(represe|
|00004e60| 6e 74 65 64 20 62 79 20 | 6a 75 78 74 61 70 6f 73 |nted by |juxtapos|
|00004e70| 69 74 69 6f 6e 29 0a 20 | 20 20 20 61 6e 64 20 6c |ition). | and l|
|00004e80| 69 73 74 20 61 6e 64 20 | 73 65 74 20 63 6f 6e 73 |ist and |set cons|
|00004e90| 74 72 75 63 74 69 6f 6e | 20 75 73 69 6e 67 20 71 |truction| using q|
|00004ea0| 75 6f 74 65 73 2c 20 62 | 72 61 63 6b 65 74 73 20 |uotes, b|rackets |
|00004eb0| 61 6e 64 20 62 72 61 63 | 65 73 2e 0a 0a 20 20 20 |and brac|es... |
|00004ec0| 20 49 6e 20 70 61 74 74 | 65 72 6e 73 2c 20 20 22 | In patt|erns, "|
|00004ed0| 26 22 20 20 62 69 6e 64 | 73 20 20 6d 6f 72 65 20 |&" bind|s more |
|00004ee0| 20 74 69 67 68 74 6c 79 | 20 20 74 68 61 6e 20 20 | tightly| than |
|00004ef0| 63 6f 6d 6d 61 20 20 6f | 72 20 20 61 6e 79 20 20 |comma o|r any |
|00004f00| 69 6e 66 69 78 20 20 64 | 61 74 61 0a 20 20 20 20 |infix d|ata. |
|00004f10| 63 6f 6e 73 74 72 75 63 | 74 6f 72 2e 20 20 20 57 |construc|tor. W|
|00004f20| 68 65 6e 20 20 61 20 20 | 70 72 6f 67 72 61 6d 20 |hen a |program |
|00004f30| 69 73 20 64 69 73 70 6c | 61 79 65 64 20 6f 72 20 |is displ|ayed or |
|00004f40| 73 61 76 65 64 20 6f 6e | 20 64 69 73 6b 20 28 73 |saved on| disk (s|
|00004f50| 65 65 20 73 65 63 74 69 | 6f 6e 0a 20 20 20 20 31 |ee secti|on. 1|
|00004f60| 30 29 2c 20 61 6c 6c 20 | 70 72 69 6f 72 69 74 69 |0), all |prioriti|
|00004f70| 65 73 20 77 69 6c 6c 20 | 62 65 20 73 68 6f 77 6e |es will |be shown|
|00004f80| 20 65 78 70 6c 69 63 69 | 74 6c 79 20 62 79 20 65 | explici|tly by e|
|00004f90| 78 74 72 61 20 70 61 72 | 65 6e 74 68 65 73 65 73 |xtra par|entheses|
|00004fa0| 2e 0a 0a 0a 0a 20 20 20 | 20 38 2e 20 20 20 45 72 |..... | 8. Er|
|00004fb0| 72 6f 72 20 6d 65 73 73 | 61 67 65 73 0a 0a 20 20 |ror mess|ages.. |
|00004fc0| 20 20 54 68 65 72 65 20 | 61 72 65 20 74 68 72 65 | There |are thre|
|00004fd0| 65 20 6b 69 6e 64 73 20 | 6f 66 20 65 72 72 6f 72 |e kinds |of error|
|00004fe0| 20 6d 65 73 73 61 67 65 | 73 2e 20 53 79 6e 74 61 | message|s. Synta|
|00004ff0| 78 20 65 72 72 6f 72 73 | 20 61 72 65 20 64 65 74 |x errors| are det|
|00005000| 65 63 74 65 64 20 61 73 | 20 74 68 65 0a 20 20 20 |ected as| the. |
|00005010| 20 70 72 6f 67 72 61 6d | 20 20 69 73 20 20 65 6e | program| is en|
|00005020| 74 65 72 65 64 2e 20 41 | 20 63 61 72 6f 74 20 28 |tered. A| carot (|
|00005030| 5e 29 20 63 68 61 72 61 | 63 74 65 72 20 69 73 20 |^) chara|cter is |
|00005040| 70 72 69 6e 74 65 64 20 | 62 65 6e 65 61 74 68 20 |printed |beneath |
|00005050| 74 68 65 20 77 6f 72 64 | 20 69 6e 0a 20 20 20 20 |the word| in. |
|00005060| 65 72 72 6f 72 2e 20 20 | 57 68 65 6e 20 61 20 73 |error. |When a s|
|00005070| 79 6e 74 61 78 20 65 72 | 72 6f 72 20 68 61 73 20 |yntax er|ror has |
|00005080| 62 65 65 6e 20 20 66 6f | 75 6e 64 2c 20 20 74 68 |been fo|und, th|
|00005090| 65 20 20 69 6e 74 65 72 | 70 72 65 74 65 72 20 20 |e inter|preter |
|000050a0| 73 6b 69 70 73 20 20 61 | 6c 6c 0a 20 20 20 20 77 |skips a|ll. w|
|000050b0| 6f 72 64 73 20 20 75 70 | 20 20 74 6f 20 20 74 68 |ords up| to th|
|000050c0| 65 20 20 6e 65 78 74 20 | 20 73 65 6d 69 63 6f 6c |e next | semicol|
|000050d0| 6f 6e 2e 20 20 20 49 66 | 20 20 74 68 65 72 65 20 |on. If| there |
|000050e0| 61 72 65 20 6e 6f 20 73 | 79 6e 74 61 78 20 65 72 |are no s|yntax er|
|000050f0| 72 6f 72 73 2c 20 74 68 | 65 0a 20 20 20 20 65 78 |rors, th|e. ex|
|00005100| 70 72 65 73 73 69 6f 6e | 20 69 73 20 74 79 70 65 |pression| is type|
|00005110| 2d 63 68 65 63 6b 65 64 | 2e 20 20 49 66 20 20 61 |-checked|. If a|
|00005120| 20 20 74 79 70 65 20 20 | 65 72 72 6f 72 20 20 69 | type |error i|
|00005130| 73 20 20 66 6f 75 6e 64 | 20 20 74 68 65 20 20 69 |s found| the i|
|00005140| 6e 63 6f 72 72 65 63 74 | 0a 20 20 20 20 73 75 62 |ncorrect|. sub|
|00005150| 65 78 70 72 65 73 73 69 | 6f 6e 2c 20 20 69 74 73 |expressi|on, its|
|00005160| 20 20 61 63 74 75 61 6c | 20 74 79 70 65 2c 20 61 | actual| type, a|
|00005170| 6e 64 20 74 68 65 20 74 | 79 70 65 20 65 78 70 65 |nd the t|ype expe|
|00005180| 63 74 65 64 20 62 79 20 | 74 68 65 20 69 6e 74 65 |cted by |the inte|
|00005190| 72 70 72 65 74 65 72 0a | 20 20 20 20 61 72 65 20 |rpreter.| are |
|000051a0| 64 69 73 70 6c 61 79 65 | 64 2e 20 20 53 74 61 74 |displaye|d. Stat|
|000051b0| 65 6d 65 6e 74 73 20 6f | 72 20 65 78 70 72 65 73 |ements o|r expres|
|000051c0| 73 69 6f 6e 73 20 77 69 | 74 68 20 73 79 6e 74 61 |sions wi|th synta|
|000051d0| 78 20 6f 72 20 74 79 70 | 65 20 20 65 72 72 6f 72 |x or typ|e error|
|000051e0| 73 20 20 61 72 65 0a 20 | 20 20 20 6e 6f 74 20 20 |s are. | not |
|000051f0| 73 74 6f 72 65 64 20 20 | 62 79 20 20 74 68 65 20 |stored |by the |
|00005200| 20 69 6e 74 65 72 70 72 | 65 74 65 72 20 20 61 6e | interpr|eter an|
|00005210| 64 20 6d 75 73 74 20 62 | 65 20 72 65 65 6e 74 65 |d must b|e reente|
|00005220| 72 65 64 2e 20 20 52 75 | 6e 2d 74 69 6d 65 20 65 |red. Ru|n-time e|
|00005230| 72 72 6f 72 73 0a 20 20 | 20 20 63 61 75 73 65 20 |rrors. | cause |
|00005240| 74 68 65 20 69 6e 74 65 | 72 70 72 65 74 65 72 20 |the inte|rpreter |
|00005250| 74 6f 20 61 62 61 6e 64 | 6f 6e 20 74 68 65 20 63 |to aband|on the c|
|00005260| 75 72 72 65 6e 74 20 65 | 76 61 6c 75 61 74 69 6f |urrent e|valuatio|
|00005270| 6e 20 61 6e 64 20 72 65 | 74 75 72 6e 20 74 6f 20 |n and re|turn to |
|00005280| 20 74 68 65 0a 20 20 20 | 20 74 6f 70 20 6c 65 76 | the. | top lev|
|00005290| 65 6c 2e 20 20 54 68 65 | 20 70 72 6f 67 72 61 6d |el. The| program|
|000052a0| 20 69 73 20 72 65 74 61 | 69 6e 65 64 20 61 6e 64 | is reta|ined and|
|000052b0| 20 6d 61 79 20 62 65 20 | 63 6f 72 72 65 63 74 65 | may be |correcte|
|000052c0| 64 2e 0a 0a 0a 0a 20 20 | 20 20 39 2e 20 20 20 41 |d..... | 9. A|
|000052d0| 64 64 69 74 69 6f 6e 61 | 6c 20 66 65 61 74 75 72 |dditiona|l featur|
|000052e0| 65 73 0a 0a 20 20 20 20 | 54 68 65 20 69 6e 74 65 |es.. |The inte|
|000052f0| 72 70 72 65 74 65 72 20 | 73 75 70 70 6f 72 74 73 |rpreter |supports|
|00005300| 20 61 20 6e 75 6d 62 65 | 72 20 20 6f 66 20 20 6c | a numbe|r of l|
|00005310| 61 6e 67 75 61 67 65 20 | 20 66 65 61 74 75 72 65 |anguage | feature|
|00005320| 73 20 20 77 68 69 63 68 | 20 20 61 72 65 20 20 6e |s which| are n|
|00005330| 6f 74 0a 20 20 20 20 64 | 65 73 63 72 69 62 65 64 |ot. d|escribed|
|00005340| 20 69 6e 20 74 68 65 20 | 22 48 6f 70 65 20 54 75 | in the |"Hope Tu|
|00005350| 74 6f 72 69 61 6c 22 2e | 20 20 54 68 65 73 65 20 |torial".| These |
|00005360| 61 72 65 20 61 73 20 66 | 6f 6c 6c 6f 77 73 3a 0a |are as f|ollows:.|
|00005370| 0a 20 20 20 20 28 61 29 | 20 20 53 79 6e 6f 6e 79 |. (a)| Synony|
|00005380| 6d 73 20 6d 61 79 20 62 | 65 20 64 65 63 6c 61 72 |ms may b|e declar|
|00005390| 65 64 20 66 6f 72 20 75 | 73 65 72 2d 64 65 66 69 |ed for u|ser-defi|
|000053a0| 6e 65 64 20 6f 72 20 62 | 75 69 6c 74 2d 69 6e 20 |ned or b|uilt-in |
|000053b0| 64 61 74 61 20 74 79 70 | 65 73 2c 20 65 2e 67 2e |data typ|es, e.g.|
|000053c0| 0a 0a 20 20 20 20 20 20 | 20 20 20 74 79 70 65 20 |.. | type |
|000053d0| 77 6f 72 64 20 3d 3d 20 | 6c 69 73 74 20 28 20 63 |word == |list ( c|
|000053e0| 68 61 72 20 29 20 3b 0a | 0a 20 20 20 20 4f 62 6a |har ) ;.|. Obj|
|000053f0| 65 63 74 73 20 20 6f 66 | 20 20 74 79 70 65 20 20 |ects of| type |
|00005400| 22 77 6f 72 64 22 20 20 | 77 69 6c 6c 20 20 62 65 |"word" |will be|
|00005410| 20 20 74 72 65 61 74 65 | 64 20 20 61 73 20 20 22 | treate|d as "|
|00005420| 6c 69 73 74 20 20 28 20 | 20 63 68 61 72 20 20 29 |list ( | char )|
|00005430| 22 20 20 20 66 6f 72 0a | 20 20 20 20 74 79 70 65 |" for.| type|
|00005440| 2d 63 68 65 63 6b 69 6e | 67 20 61 6e 64 20 77 68 |-checkin|g and wh|
|00005450| 65 6e 20 70 72 69 6e 74 | 69 6e 67 20 74 68 65 20 |en print|ing the |
|00005460| 74 79 70 65 20 6f 66 20 | 72 65 73 75 6c 74 73 2e |type of |results.|
|00005470| 0a 0a 0a 20 20 20 20 28 | 62 29 20 20 53 79 6e 6f |... (|b) Syno|
|00005480| 6e 79 6d 73 20 6d 61 79 | 20 61 6c 73 6f 20 62 65 |nyms may| also be|
|00005490| 20 64 65 63 6c 61 72 65 | 64 20 66 6f 72 20 6f 62 | declare|d for ob|
|000054a0| 6a 65 63 74 73 20 6d 61 | 74 63 68 65 64 20 69 6e |jects ma|tched in|
|000054b0| 20 20 70 61 74 74 65 72 | 6e 73 20 20 75 73 69 6e | patter|ns usin|
|000054c0| 67 0a 20 20 20 20 74 68 | 65 20 20 22 26 22 20 63 |g. th|e "&" c|
|000054d0| 6f 6e 6e 65 63 74 69 76 | 65 2e 20 20 54 68 65 20 |onnectiv|e. The |
|000054e0| 73 79 6e 6f 6e 79 6d 20 | 6e 61 6d 65 20 6d 75 73 |synonym |name mus|
|000054f0| 74 20 70 72 65 63 65 64 | 65 20 74 68 65 20 22 26 |t preced|e the "&|
|00005500| 22 2e 20 20 54 68 69 73 | 20 69 73 20 75 73 65 64 |". This| is used|
|00005510| 0a 20 20 20 20 74 6f 20 | 20 61 76 6f 69 64 20 20 |. to | avoid |
|00005520| 72 65 70 65 61 74 69 6e | 67 20 20 63 6f 6d 70 6c |repeatin|g compl|
|00005530| 65 78 20 20 65 78 70 72 | 65 73 73 69 6f 6e 73 20 |ex expr|essions |
|00005540| 20 6f 6e 20 20 74 68 65 | 20 20 72 69 67 68 74 2d | on the| right-|
|00005550| 68 61 6e 64 2d 73 69 64 | 65 73 20 20 20 6f 66 0a |hand-sid|es of.|
|00005560| 20 20 20 20 72 65 63 75 | 72 73 69 6f 6e 20 65 71 | recu|rsion eq|
|00005570| 75 61 74 69 6f 6e 73 20 | 65 2e 67 2e 0a 0a 20 20 |uations |e.g... |
|00005580| 20 20 2d 2d 2d 20 66 20 | 28 20 6c 20 26 20 28 20 | --- f |( l & ( |
|00005590| 68 20 3a 3a 20 74 20 29 | 20 29 20 3c 3d 20 69 66 |h :: t )| ) <= if|
|000055a0| 20 68 20 3d 20 31 30 20 | 74 68 65 6e 20 67 20 28 | h = 10 |then g (|
|000055b0| 20 74 20 29 20 65 6c 73 | 65 20 67 20 28 20 6c 20 | t ) els|e g ( l |
|000055c0| 29 20 3b 0a 0a 0a 20 20 | 20 20 55 73 69 6e 67 20 |) ;... | Using |
|000055d0| 49 43 2d 48 6f 70 65 20 | 6f 6e 20 74 68 65 20 41 |IC-Hope |on the A|
|000055e0| 72 63 68 69 6d 65 64 65 | 73 20 20 20 20 20 20 20 |rchimede|s |
|000055f0| 20 20 20 20 20 20 20 20 | 20 20 20 20 20 20 20 20 | | |
|00005600| 20 20 20 20 20 20 20 20 | 20 20 20 20 20 20 20 50 | | P|
|00005610| 61 67 65 20 34 0a 0a 0a | 0a 0a 0a 0a 20 20 20 20 |age 4...|.... |
|00005620| 28 63 29 20 20 4d 75 74 | 75 61 6c 6c 79 20 72 65 |(c) Mut|ually re|
|00005630| 63 75 72 73 69 76 65 20 | 74 79 70 65 73 20 6d 61 |cursive |types ma|
|00005640| 79 20 62 65 20 64 65 63 | 6c 61 72 65 64 20 75 73 |y be dec|lared us|
|00005650| 69 6e 67 20 22 77 69 74 | 68 22 2c 20 65 2e 67 2e |ing "wit|h", e.g.|
|00005660| 0a 0a 20 20 20 20 20 20 | 20 20 20 64 61 74 61 20 |.. | data |
|00005670| 4c 69 73 70 4c 69 73 74 | 20 3d 3d 20 4e 49 4c 20 |LispList| == NIL |
|00005680| 2b 2b 20 43 4f 4e 53 20 | 28 20 4c 69 73 70 49 74 |++ CONS |( LispIt|
|00005690| 65 6d 20 23 20 4c 69 73 | 70 4c 69 73 74 20 29 0a |em # Lis|pList ).|
|000056a0| 20 20 20 20 20 20 20 20 | 20 77 69 74 68 20 4c 69 | | with Li|
|000056b0| 73 70 49 74 65 6d 20 3d | 3d 20 41 54 4f 4d 20 28 |spItem =|= ATOM (|
|000056c0| 20 6e 75 6d 20 29 20 2b | 2b 20 4c 49 53 54 20 28 | num ) +|+ LIST (|
|000056d0| 20 4c 69 73 70 4c 69 73 | 74 20 29 20 3b 0a 0a 0a | LispLis|t ) ;...|
|000056e0| 20 20 20 20 28 64 29 20 | 41 20 72 65 73 74 72 69 | (d) |A restri|
|000056f0| 63 74 65 64 20 66 6f 72 | 6d 20 6f 66 20 6c 61 7a |cted for|m of laz|
|00005700| 79 20 65 76 61 6c 75 61 | 74 69 6f 6e 20 69 73 20 |y evalua|tion is |
|00005710| 70 72 6f 76 69 64 65 64 | 20 62 79 20 20 74 68 65 |provided| by the|
|00005720| 20 20 27 6c 61 7a 79 20 | 20 63 6f 6e 73 27 0a 20 | 'lazy | cons'. |
|00005730| 20 20 20 6c 69 73 74 20 | 63 6f 6e 73 74 72 75 63 | list |construc|
|00005740| 74 6f 72 20 22 3a 3a 3a | 22 2e 20 20 54 68 69 73 |tor ":::|". This|
|00005750| 20 64 6f 65 73 20 6e 6f | 74 20 65 76 61 6c 75 61 | does no|t evalua|
|00005760| 74 65 20 69 74 73 20 73 | 65 63 6f 6e 64 20 61 72 |te its s|econd ar|
|00005770| 67 75 6d 65 6e 74 20 75 | 6e 6c 65 73 73 0a 20 20 |gument u|nless. |
|00005780| 20 20 69 74 73 20 76 61 | 6c 75 65 20 69 73 20 72 | its va|lue is r|
|00005790| 65 71 75 69 72 65 64 20 | 28 74 68 69 73 20 69 6e |equired |(this in|
|000057a0| 63 6c 75 64 65 73 20 70 | 61 74 74 65 72 6e 2d 6d |cludes p|attern-m|
|000057b0| 61 74 63 68 69 6e 67 29 | 2e 20 20 45 2e 67 2e 0a |atching)|. E.g..|
|000057c0| 0a 20 20 20 20 20 20 20 | 20 20 3e 3a 20 31 20 3a |. | >: 1 :|
|000057d0| 3a 3a 20 5b 20 32 20 64 | 69 76 20 30 20 5d 20 3b |:: [ 2 d|iv 0 ] ;|
|000057e0| 0a 20 20 20 20 20 20 20 | 20 20 3e 3a 20 31 20 3a |. | >: 1 :|
|000057f0| 3a 3a 20 5b 20 28 20 32 | 20 64 69 76 20 30 20 29 |:: [ ( 2| div 0 )|
|00005800| 20 5d 20 3a 20 6c 69 73 | 74 20 28 20 6e 75 6d 20 | ] : lis|t ( num |
|00005810| 29 0a 0a 20 20 20 20 54 | 68 69 73 20 61 6c 6c 6f |).. T|his allo|
|00005820| 77 73 20 69 6e 66 69 6e | 69 74 65 20 6c 69 73 74 |ws infin|ite list|
|00005830| 73 20 74 6f 20 62 65 20 | 63 6f 6e 73 74 72 75 63 |s to be |construc|
|00005840| 74 65 64 20 61 6e 64 20 | 6d 61 6e 69 70 75 6c 61 |ted and |manipula|
|00005850| 74 65 64 2e 20 20 20 54 | 68 65 72 65 20 20 61 72 |ted. T|here ar|
|00005860| 65 0a 20 20 20 20 6e 6f | 20 20 6f 74 68 65 72 20 |e. no| other |
|00005870| 20 6c 61 7a 79 20 6f 70 | 65 72 61 74 69 6f 6e 73 | lazy op|erations|
|00005880| 20 61 6e 64 20 6f 74 68 | 65 72 20 74 79 70 65 73 | and oth|er types|
|00005890| 20 6f 66 20 64 61 74 61 | 20 6d 61 79 20 6f 6e 6c | of data| may onl|
|000058a0| 79 20 62 65 20 63 6f 6e | 73 74 72 75 63 74 65 64 |y be con|structed|
|000058b0| 0a 20 20 20 20 65 61 67 | 65 72 6c 79 2e 0a 0a 0a |. eag|erly....|
|000058c0| 20 20 20 20 28 65 29 20 | 54 68 65 20 64 61 74 61 | (e) |The data|
|000058d0| 20 74 79 70 65 20 22 73 | 65 74 20 28 20 61 6c 70 | type "s|et ( alp|
|000058e0| 68 61 20 29 22 20 20 69 | 73 20 20 73 75 70 70 6f |ha )" i|s suppo|
|000058f0| 72 74 65 64 2e 20 20 20 | 53 65 74 73 20 20 61 72 |rted. |Sets ar|
|00005900| 65 20 20 64 65 6e 6f 74 | 65 64 20 20 62 79 0a 20 |e denot|ed by. |
|00005910| 20 20 20 73 65 71 75 65 | 6e 63 65 73 20 6f 66 20 | seque|nces of |
|00005920| 65 78 70 72 65 73 73 69 | 6f 6e 73 20 77 69 74 68 |expressi|ons with|
|00005930| 69 6e 20 62 72 61 63 65 | 73 3b 20 64 75 70 6c 69 |in brace|s; dupli|
|00005940| 63 61 74 65 64 20 76 61 | 6c 75 65 73 20 77 69 6c |cated va|lues wil|
|00005950| 6c 20 6f 6e 6c 79 20 61 | 70 70 65 61 72 0a 20 20 |l only a|ppear. |
|00005960| 20 20 6f 6e 63 65 3a 0a | 0a 20 20 20 20 20 20 20 | once:.|. |
|00005970| 20 20 3e 3a 20 7b 20 31 | 2c 20 31 2b 31 2c 20 32 | >: { 1|, 1+1, 2|
|00005980| 2d 31 2c 20 33 2c 20 33 | 2d 31 20 7d 20 3b 0a 20 |-1, 3, 3|-1 } ;. |
|00005990| 20 20 20 20 20 20 20 20 | 3e 3a 20 7b 20 31 20 2c | |>: { 1 ,|
|000059a0| 20 33 20 2c 20 32 20 7d | 20 3a 20 73 65 74 20 28 | 3 , 2 }| : set (|
|000059b0| 20 6e 75 6d 20 29 0a 0a | 20 20 20 20 54 68 65 20 | num )..| The |
|000059c0| 65 6d 70 74 79 20 73 65 | 74 20 69 73 20 64 65 6e |empty se|t is den|
|000059d0| 6f 74 65 64 20 62 79 20 | 65 6d 70 74 79 20 20 62 |oted by |empty b|
|000059e0| 72 61 63 65 73 20 20 6f | 72 20 20 62 79 20 20 75 |races o|r by u|
|000059f0| 73 69 6e 67 20 20 74 68 | 65 20 20 63 6f 6e 73 74 |sing th|e const|
|00005a00| 72 75 63 74 6f 72 0a 20 | 20 20 20 22 65 6d 70 74 |ructor. | "empt|
|00005a10| 79 22 2e 20 20 4e 6f 20 | 6f 74 68 65 72 20 73 65 |y". No |other se|
|00005a20| 74 20 63 6f 6e 73 74 72 | 75 63 74 6f 72 73 20 61 |t constr|uctors a|
|00005a30| 72 65 20 70 72 6f 76 69 | 64 65 64 2c 20 61 6e 64 |re provi|ded, and|
|00005a40| 20 66 75 6e 63 74 69 6f | 6e 73 20 73 68 6f 75 6c | functio|ns shoul|
|00005a50| 64 20 6e 6f 74 0a 20 20 | 20 20 70 61 74 74 65 72 |d not. | patter|
|00005a60| 6e 2d 6d 61 74 63 68 20 | 6f 6e 20 6e 6f 6e 65 6d |n-match |on nonem|
|00005a70| 70 74 79 20 73 65 74 73 | 2e 20 20 54 68 65 20 66 |pty sets|. The f|
|00005a80| 6f 6c 6c 6f 77 69 6e 67 | 20 62 75 69 6c 74 2d 69 |ollowing| built-i|
|00005a90| 6e 20 20 66 75 6e 63 74 | 69 6f 6e 73 20 20 28 74 |n funct|ions (t|
|00005aa0| 79 70 65 73 0a 20 20 20 | 20 61 6e 64 20 66 69 78 |ypes. | and fix|
|00005ab0| 69 74 69 65 73 20 69 6e | 20 73 65 63 74 69 6f 6e |ities in| section|
|00005ac0| 20 36 20 61 62 6f 76 65 | 29 20 61 72 65 20 70 72 | 6 above|) are pr|
|00005ad0| 6f 76 69 64 65 64 20 6f | 76 65 72 20 73 65 74 73 |ovided o|ver sets|
|00005ae0| 3a 0a 0a 20 20 20 20 20 | 20 20 20 20 6d 69 6e 75 |:.. | minu|
|00005af0| 73 20 20 20 20 20 20 73 | 65 74 20 64 69 66 66 65 |s s|et diffe|
|00005b00| 72 65 6e 63 65 0a 20 20 | 20 20 20 20 20 20 20 69 |rence. | i|
|00005b10| 6e 74 65 72 73 65 63 74 | 20 20 73 65 74 20 69 6e |ntersect| set in|
|00005b20| 74 65 72 73 65 63 74 69 | 6f 6e 0a 20 20 20 20 20 |tersecti|on. |
|00005b30| 20 20 20 20 75 6e 69 6f | 6e 20 20 20 20 20 20 73 | unio|n s|
|00005b40| 65 74 20 75 6e 69 6f 6e | 0a 20 20 20 20 20 20 20 |et union|. |
|00005b50| 20 20 69 73 69 6e 20 20 | 20 20 20 20 20 69 73 20 | isin | is |
|00005b60| 73 70 65 63 69 66 69 65 | 64 20 69 74 65 6d 20 69 |specifie|d item i|
|00005b70| 6e 20 73 65 74 3f 0a 20 | 20 20 20 20 20 20 20 20 |n set?. | |
|00005b80| 73 75 62 73 65 74 20 20 | 20 20 20 69 73 20 66 69 |subset | is fi|
|00005b90| 72 73 74 20 73 65 74 20 | 61 20 73 75 62 73 65 74 |rst set |a subset|
|00005ba0| 20 6f 66 20 73 65 63 6f | 6e 64 3f 0a 20 20 20 20 | of seco|nd?. |
|00005bb0| 20 20 20 20 20 62 69 73 | 65 63 74 20 20 20 20 20 | bis|ect |
|00005bc0| 73 70 6c 69 74 20 73 65 | 74 20 69 6e 74 6f 20 74 |split se|t into t|
|00005bd0| 77 6f 20 65 71 75 61 6c | 2d 73 69 7a 65 64 20 73 |wo equal|-sized s|
|00005be0| 75 62 73 65 74 73 20 61 | 6e 64 20 72 65 74 75 72 |ubsets a|nd retur|
|00005bf0| 6e 20 62 6f 74 68 0a 20 | 20 20 20 20 20 20 20 20 |n both. | |
|00005c00| 73 70 6c 69 74 20 20 20 | 20 20 20 72 65 6d 6f 76 |split | remov|
|00005c10| 65 20 61 72 62 69 74 72 | 61 72 79 20 69 74 65 6d |e arbitr|ary item|
|00005c20| 20 66 72 6f 6d 20 6e 6f | 6e 65 6d 70 74 79 20 73 | from no|nempty s|
|00005c30| 65 74 20 61 6e 64 20 72 | 65 74 75 72 6e 20 62 6f |et and r|eturn bo|
|00005c40| 74 68 0a 20 20 20 20 20 | 20 20 20 20 73 69 7a 65 |th. | size|
|00005c50| 20 20 20 20 20 20 20 6e | 75 6d 62 65 72 20 6f 66 | n|umber of|
|00005c60| 20 65 6c 65 6d 65 6e 74 | 73 20 69 6e 20 61 20 73 | element|s in a s|
|00005c70| 65 74 0a 0a 0a 20 20 20 | 20 28 66 29 20 54 68 65 |et... | (f) The|
|00005c80| 20 66 6f 6c 6c 6f 77 69 | 6e 67 20 66 75 6e 63 74 | followi|ng funct|
|00005c90| 69 6f 6e 73 20 28 74 79 | 70 65 73 20 67 69 76 65 |ions (ty|pes give|
|00005ca0| 6e 20 69 6e 20 73 65 63 | 74 69 6f 6e 20 36 20 20 |n in sec|tion 6 |
|00005cb0| 61 62 6f 76 65 29 20 20 | 61 6c 6c 6f 77 20 20 6d |above) |allow m|
|00005cc0| 6f 72 65 0a 20 20 20 20 | 63 6f 6e 74 72 6f 6c 20 |ore. |control |
|00005cd0| 20 6f 76 65 72 20 20 69 | 6e 70 75 74 2d 6f 75 74 | over i|nput-out|
|00005ce0| 70 75 74 2e 20 20 20 4d | 6f 73 74 20 68 61 76 65 |put. M|ost have|
|00005cf0| 20 73 69 64 65 2d 65 66 | 66 65 63 74 73 20 6f 6e | side-ef|fects on|
|00005d00| 20 66 69 6c 65 73 20 61 | 6e 64 20 61 72 65 20 6e | files a|nd are n|
|00005d10| 6f 74 0a 20 20 20 20 72 | 65 66 65 72 65 6e 74 69 |ot. r|eferenti|
|00005d20| 61 6c 6c 79 20 74 72 61 | 6e 73 70 61 72 65 6e 74 |ally tra|nsparent|
|00005d30| 3a 0a 0a 20 20 20 20 20 | 20 20 20 20 73 68 6f 77 |:.. | show|
|00005d40| 20 20 20 20 20 20 20 69 | 64 65 6e 74 69 74 79 20 | i|dentity |
|00005d50| 66 75 6e 63 74 69 6f 6e | 20 70 72 69 6e 74 69 6e |function| printin|
|00005d60| 67 20 69 74 73 20 61 72 | 67 75 6d 65 6e 74 20 6f |g its ar|gument o|
|00005d70| 6e 20 74 68 65 20 74 65 | 72 6d 69 6e 61 6c 0a 20 |n the te|rminal. |
|00005d80| 20 20 20 20 20 20 20 20 | 70 72 69 6e 74 20 20 20 | |print |
|00005d90| 20 20 20 70 72 69 6e 74 | 20 61 20 6c 69 73 74 20 | print| a list |
|00005da0| 6f 66 20 63 68 61 72 61 | 63 74 65 72 73 20 6f 6e |of chara|cters on|
|00005db0| 20 74 68 65 20 74 65 72 | 6d 69 6e 61 6c 0a 20 20 | the ter|minal. |
|00005dc0| 20 20 20 20 20 20 20 6e | 6c 20 20 20 20 20 20 20 | n|l |
|00005dd0| 20 20 65 6e 64 2d 6f 66 | 2d 6c 69 6e 65 20 63 68 | end-of|-line ch|
|00005de0| 61 72 61 63 74 65 72 20 | 73 65 71 75 65 6e 63 65 |aracter |sequence|
|00005df0| 0a 20 20 20 20 20 20 20 | 20 20 6f 70 65 6e 69 6e |. | openin|
|00005e00| 20 20 20 20 20 6f 70 65 | 6e 20 61 6e 20 65 78 74 | ope|n an ext|
|00005e10| 65 72 6e 61 6c 20 66 69 | 6c 65 20 62 79 20 6e 61 |ernal fi|le by na|
|00005e20| 6d 65 20 61 6e 64 20 72 | 65 74 75 72 6e 20 61 6e |me and r|eturn an|
|00005e30| 20 69 6e 70 75 74 20 73 | 74 72 65 61 6d 0a 20 20 | input s|tream. |
|00005e40| 20 20 20 20 20 20 20 6f | 70 65 6e 6f 75 74 20 20 | o|penout |
|00005e50| 20 20 6f 70 65 6e 20 61 | 6e 20 65 78 74 65 72 6e | open a|n extern|
|00005e60| 61 6c 20 66 69 6c 65 20 | 62 79 20 6e 61 6d 65 20 |al file |by name |
|00005e70| 61 6e 64 20 72 65 74 75 | 72 6e 20 61 6e 20 6f 75 |and retu|rn an ou|
|00005e80| 74 70 75 74 20 73 74 72 | 65 61 6d 0a 20 20 20 20 |tput str|eam. |
|00005e90| 20 20 20 20 20 67 65 74 | 63 68 61 72 20 20 20 20 | get|char |
|00005ea0| 72 65 61 64 20 61 20 63 | 68 61 72 61 63 74 65 72 |read a c|haracter|
|00005eb0| 20 61 6e 64 20 61 64 76 | 61 6e 63 65 20 74 68 65 | and adv|ance the|
|00005ec0| 20 69 6e 70 75 74 20 73 | 74 72 65 61 6d 0a 20 20 | input s|tream. |
|00005ed0| 20 20 20 20 20 20 20 70 | 75 74 63 68 61 72 20 20 | p|utchar |
|00005ee0| 20 20 77 72 69 74 65 20 | 61 20 63 68 61 72 61 63 | write |a charac|
|00005ef0| 74 65 72 20 61 6e 64 20 | 61 64 76 61 6e 63 65 20 |ter and |advance |
|00005f00| 74 68 65 20 6f 75 74 70 | 75 74 20 73 74 72 65 61 |the outp|ut strea|
|00005f10| 6d 0a 20 20 20 20 20 20 | 20 20 20 70 75 74 6c 69 |m. | putli|
|00005f20| 73 74 20 20 20 20 77 72 | 69 74 65 20 61 20 6c 69 |st wr|ite a li|
|00005f30| 73 74 20 6f 66 20 6c 69 | 73 74 73 20 6f 66 20 63 |st of li|sts of c|
|00005f40| 68 61 72 61 63 74 65 72 | 73 20 74 6f 20 61 6e 20 |haracter|s to an |
|00005f50| 6f 75 74 70 75 74 20 73 | 74 72 65 61 6d 0a 20 20 |output s|tream. |
|00005f60| 20 20 20 20 20 20 20 63 | 6c 6f 73 65 20 20 20 20 | c|lose |
|00005f70| 20 20 63 6c 6f 73 65 20 | 74 68 65 20 66 69 6c 65 | close |the file|
|00005f80| 20 61 73 73 6f 63 69 61 | 74 65 64 20 77 69 74 68 | associa|ted with|
|00005f90| 20 61 20 73 74 72 65 61 | 6d 0a 20 20 20 20 20 20 | a strea|m. |
|00005fa0| 20 20 20 65 6f 66 20 20 | 20 20 20 20 20 20 65 6e | eof | en|
|00005fb0| 64 2d 6f 66 2d 66 69 6c | 65 20 63 68 61 72 61 63 |d-of-fil|e charac|
|00005fc0| 74 65 72 20 73 65 71 75 | 65 6e 63 65 3b 20 72 65 |ter sequ|ence; re|
|00005fd0| 74 75 72 6e 65 64 20 61 | 73 20 6c 61 73 74 20 63 |turned a|s last c|
|00005fe0| 68 61 72 61 63 74 65 72 | 0a 20 20 20 20 20 20 20 |haracter|. |
|00005ff0| 20 20 20 20 20 20 20 20 | 20 20 20 20 20 6f 66 20 | | of |
|00006000| 61 6e 20 69 6e 70 75 74 | 20 66 69 6c 65 2c 20 63 |an input| file, c|
|00006010| 6c 6f 73 65 73 20 61 6e | 20 6f 75 74 70 75 74 20 |loses an| output |
|00006020| 66 69 6c 65 20 77 68 65 | 6e 20 77 72 69 74 74 65 |file whe|n writte|
|00006030| 6e 2e 0a 0a 0a 0a 0a 20 | 20 20 20 55 73 69 6e 67 |n...... | Using|
|00006040| 20 49 43 2d 48 6f 70 65 | 20 6f 6e 20 74 68 65 20 | IC-Hope| on the |
|00006050| 41 72 63 68 69 6d 65 64 | 65 73 20 20 20 20 20 20 |Archimed|es |
|00006060| 20 20 20 20 20 20 20 20 | 20 20 20 20 20 20 20 20 | | |
|00006070| 20 20 20 20 20 20 20 20 | 20 20 20 20 20 20 20 20 | | |
|00006080| 50 61 67 65 20 35 0a 0a | 0a 0a 0a 0a 0a 20 20 20 |Page 5..|..... |
|00006090| 20 31 30 2e 20 20 53 79 | 73 74 65 6d 20 63 6f 6d | 10. Sy|stem com|
|000060a0| 6d 61 6e 64 73 0a 0a 20 | 20 20 20 54 68 65 20 69 |mands.. | The i|
|000060b0| 6e 74 65 72 70 72 65 74 | 65 72 20 70 72 6f 76 69 |nterpret|er provi|
|000060c0| 64 65 73 20 61 20 73 65 | 74 20 6f 66 20 63 6f 6d |des a se|t of com|
|000060d0| 6d 61 6e 64 73 20 74 6f | 20 61 73 73 69 73 74 20 |mands to| assist |
|000060e0| 77 69 74 68 20 20 70 72 | 6f 67 72 61 6d 20 20 65 |with pr|ogram e|
|000060f0| 6e 74 72 79 2c 0a 20 20 | 20 20 64 65 62 75 67 67 |ntry,. | debugg|
|00006100| 69 6e 67 20 20 61 6e 64 | 20 20 6d 6f 64 69 66 69 |ing and| modifi|
|00006110| 63 61 74 69 6f 6e 2e 20 | 20 20 41 6c 6c 20 20 63 |cation. | All c|
|00006120| 6f 6d 6d 61 6e 64 73 20 | 73 74 61 72 74 20 77 69 |ommands |start wi|
|00006130| 74 68 20 74 68 65 20 63 | 6f 6d 6d 61 6e 64 20 6e |th the c|ommand n|
|00006140| 61 6d 65 2c 0a 20 20 20 | 20 66 6f 6c 6c 6f 77 65 |ame,. | followe|
|00006150| 64 20 62 79 20 7a 65 72 | 6f 20 6f 72 20 6d 6f 72 |d by zer|o or mor|
|00006160| 65 20 70 61 72 61 6d 65 | 74 65 72 73 20 73 65 70 |e parame|ters sep|
|00006170| 61 72 61 74 65 64 20 62 | 79 20 73 70 61 63 65 73 |arated b|y spaces|
|00006180| 20 20 61 6e 64 20 20 65 | 6e 64 20 20 77 69 74 68 | and e|nd with|
|00006190| 20 20 61 0a 20 20 20 20 | 73 65 6d 69 63 6f 6c 6f | a. |semicolo|
|000061a0| 6e 2e 0a 0a 0a 20 20 20 | 20 20 20 20 20 20 64 69 |n.... | di|
|000061b0| 73 70 6c 61 79 20 20 20 | 20 20 20 63 61 75 73 65 |splay | cause|
|000061c0| 73 20 74 68 65 20 69 6e | 74 65 72 70 72 65 74 65 |s the in|terprete|
|000061d0| 72 20 74 6f 20 6c 69 73 | 74 20 74 68 65 20 70 72 |r to lis|t the pr|
|000061e0| 6f 67 72 61 6d 2e 0a 0a | 20 20 20 20 54 68 65 20 |ogram...| The |
|000061f0| 74 65 78 74 20 69 73 20 | 72 65 63 6f 6e 73 74 72 |text is |reconstr|
|00006200| 75 63 74 65 64 20 66 72 | 6f 6d 20 74 68 65 20 73 |ucted fr|om the s|
|00006210| 74 6f 72 65 64 20 69 6e | 74 65 72 6e 61 6c 20 20 |tored in|ternal |
|00006220| 66 6f 72 6d 20 20 61 6e | 64 20 20 6d 61 79 20 20 |form an|d may |
|00006230| 64 69 66 66 65 72 0a 20 | 20 20 20 66 72 6f 6d 20 |differ. | from |
|00006240| 20 77 68 61 74 20 20 77 | 61 73 20 20 6f 72 69 67 | what w|as orig|
|00006250| 69 6e 61 6c 6c 79 20 20 | 65 6e 74 65 72 65 64 20 |inally |entered |
|00006260| 20 69 6e 20 20 6c 61 79 | 6f 75 74 20 20 61 6e 64 | in lay|out and|
|00006270| 20 69 6e 20 74 68 65 20 | 62 72 61 63 6b 65 74 69 | in the |bracketi|
|00006280| 6e 67 20 6f 66 0a 20 20 | 20 20 65 78 70 72 65 73 |ng of. | expres|
|00006290| 73 69 6f 6e 73 2e 20 49 | 74 20 69 73 20 64 69 73 |sions. I|t is dis|
|000062a0| 70 6c 61 79 65 64 20 69 | 6e 20 74 68 65 20 20 6f |played i|n the o|
|000062b0| 72 64 65 72 3a 20 20 6f | 70 65 72 61 74 6f 72 20 |rder: o|perator |
|000062c0| 20 64 65 63 6c 61 72 61 | 74 69 6f 6e 73 3b 20 20 | declara|tions; |
|000062d0| 74 79 70 65 0a 20 20 20 | 20 76 61 72 69 61 62 6c |type. | variabl|
|000062e0| 65 20 20 64 65 63 6c 61 | 72 61 74 69 6f 6e 73 3b |e decla|rations;|
|000062f0| 20 20 20 64 61 74 61 20 | 20 64 65 66 69 6e 69 74 | data | definit|
|00006300| 69 6f 6e 73 3b 20 66 75 | 6e 63 74 69 6f 6e 20 64 |ions; fu|nction d|
|00006310| 65 66 69 6e 69 74 69 6f | 6e 73 20 77 69 74 68 20 |efinitio|ns with |
|00006320| 74 68 65 0a 20 20 20 20 | 65 71 75 61 74 69 6f 6e |the. |equation|
|00006330| 73 20 67 72 6f 75 70 65 | 64 20 74 6f 67 65 74 68 |s groupe|d togeth|
|00006340| 65 72 20 61 66 74 65 72 | 20 74 68 65 20 64 65 63 |er after| the dec|
|00006350| 6c 61 72 61 74 69 6f 6e | 2e 0a 0a 20 20 20 20 54 |laration|... T|
|00006360| 68 65 20 70 72 69 6f 72 | 69 74 69 65 73 20 6f 66 |he prior|ities of|
|00006370| 20 61 6c 6c 20 6f 70 65 | 72 61 74 69 6f 6e 73 20 | all ope|rations |
|00006380| 61 72 65 20 73 68 6f 77 | 6e 20 65 78 70 6c 69 63 |are show|n explic|
|00006390| 69 74 6c 79 20 62 79 20 | 74 68 65 20 69 6e 73 65 |itly by |the inse|
|000063a0| 72 74 69 6f 6e 20 20 6f | 66 0a 20 20 20 20 65 78 |rtion o|f. ex|
|000063b0| 74 72 61 20 20 70 61 72 | 65 6e 74 68 65 73 65 73 |tra par|entheses|
|000063c0| 2e 20 20 20 43 6f 6d 6d | 65 6e 74 73 20 20 61 72 |. Comm|ents ar|
|000063d0| 65 20 6e 6f 74 20 73 74 | 6f 72 65 64 20 61 6e 64 |e not st|ored and|
|000063e0| 20 61 72 65 20 6e 6f 74 | 20 64 69 73 70 6c 61 79 | are not| display|
|000063f0| 65 64 2e 20 20 54 68 65 | 0a 20 20 20 20 6c 69 73 |ed. The|. lis|
+--------+-------------------------+-------------------------+--------+--------+
Only 25.0 KB of data is shown above.
